aboutsummaryrefslogtreecommitdiff
path: root/Makefile
blob: e2250b1c04a59d1e551856b4fe850eee08b0440f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
SHELL=bash

BRANCH="$(git branch | grep \\\* | sed -e s/\*\ //g)"


manual-update:
	git checkout master
	makeinfo --html "./manual/ponysay.texinfo"
	git add "./manual/ponysay"
	git stash
	git checkout $(BRANCH)
	git rm "./manual/ponysay/*"
	git stash pop