From f259066b7fa47185d3d48a288621ec6daec3fea9 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Sun, 28 Oct 2012 00:03:00 +0200 Subject: make manual-update + css for manual --- Makefile | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 Makefile (limited to 'Makefile') 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 + -- cgit