diff --git a/Makefile b/Makefile index a3685086..622cd72d 100644 --- a/Makefile +++ b/Makefile @@ -1,14 +1,13 @@ SHELL=bash -BRANCH="$(git branch | grep \\\* | sed -e s/\*\ //g)" - - manual-update: - 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 \ + )