diff --git a/Makefile b/Makefile index 96c88022..5d4afd00 100644 --- a/Makefile +++ b/Makefile @@ -1,13 +1,13 @@ SHELL=bash manual-update: - (branch=$$(git branch | grep \\\* | sed -e s/\*\ //g) \ - git checkout master \ - makeinfo --html "./manuals/ponysay.texinfo" \ - git add "./ponysay" \ - git stash \ - git checkout $$branch \ - git rm "./pages/ponysay/*" \ - git stash pop \ + (branch=$$(git branch | grep \\\* | sed -e s/\*\ //g) ;\ + git checkout master ;\ + makeinfo --html "./manuals/ponysay.texinfo" ;\ + git add "./ponysay" ;\ + git stash ;\ + git checkout $$branch ;\ + git rm "./pages/ponysay/*" ;\ + git stash pop ;\ )