aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile14
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
-