From d2a7d0850dcc401519057b25bdae6e82a31eb568 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Sun, 28 Oct 2012 00:04:44 +0200 Subject: Revert "make manual-update + css for manual" Whoops, wrong branch! This reverts commit f259066b7fa47185d3d48a288621ec6daec3fea9. --- Makefile | 14 -------------- info.css | 8 -------- 2 files changed, 22 deletions(-) delete mode 100644 Makefile delete mode 100644 info.css 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 - diff --git a/info.css b/info.css deleted file mode 100644 index 1ec7948..0000000 --- a/info.css +++ /dev/null @@ -1,8 +0,0 @@ -body { - margin : 0 0 0 0; - color : rgb(0, 0, 0); - background-color : rgb(249, 246, 240); - font-family : serif; - font-size : 11pt; -} - -- cgit