makefile update

Signed-off-by: Mattias Andrée <maandree@operamail.com>
This commit is contained in:
Mattias Andrée 2013-04-05 09:57:57 +02:00
parent 190cdde6e2
commit 0421b9058b

View file

@ -3,8 +3,9 @@ SHELL=bash
manual-update: manual-update:
(branch=$$(git branch | grep \\\* | sed -e s/\*\ //g) ;\ (branch=$$(git branch | grep \\\* | sed -e s/\*\ //g) ;\
git checkout master ;\ git checkout master ;\
(rm -r "./ponysay" || true) ;\
makeinfo --html "./manuals/ponysay.texinfo" ;\ makeinfo --html "./manuals/ponysay.texinfo" ;\
git add "./ponysay" ;\ git add -f "./ponysay" ;\
git stash ;\ git stash ;\
git checkout $$branch ;\ git checkout $$branch ;\
) )