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 /Makefile | |
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.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 14 |
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 - |