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 ++++++++++++++ info.css | 8 ++++++++ 2 files changed, 22 insertions(+) create mode 100644 Makefile create mode 100644 info.css 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 + diff --git a/info.css b/info.css new file mode 100644 index 0000000..1ec7948 --- /dev/null +++ b/info.css @@ -0,0 +1,8 @@ +body { + margin : 0 0 0 0; + color : rgb(0, 0, 0); + background-color : rgb(249, 246, 240); + font-family : serif; + font-size : 11pt; +} + -- cgit