diff options
| author | Mattias Andrée <maandree@operamail.com> | 2012-10-28 00:04:44 +0200 |
|---|---|---|
| committer | Mattias Andrée <maandree@operamail.com> | 2012-10-28 00:04:44 +0200 |
| commit | d2a7d0850dcc401519057b25bdae6e82a31eb568 (patch) | |
| tree | 9bc40d7d84579d2666ba71f21588b2b6ecc5ac93 | |
| parent | f259066b7fa47185d3d48a288621ec6daec3fea9 (diff) | |
| download | ponysay-d2a7d0850dcc401519057b25bdae6e82a31eb568.tar.gz ponysay-d2a7d0850dcc401519057b25bdae6e82a31eb568.tar.bz2 ponysay-d2a7d0850dcc401519057b25bdae6e82a31eb568.zip | |
Revert "make manual-update + css for manual"
Whoops, wrong branch!
This reverts commit f259066b7fa47185d3d48a288621ec6daec3fea9.
| -rw-r--r-- | Makefile | 14 | ||||
| -rw-r--r-- | info.css | 8 |
2 files changed, 0 insertions, 22 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 - 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; -} - |