diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..e2250b1 --- /dev/null +++ b/Makefile @@ -0,0 +1,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 + |