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