Revert "make manual-update + css for manual"

Whoops, wrong branch!

This reverts commit f259066b7f.
This commit is contained in:
Mattias Andrée 2012-10-28 00:04:44 +02:00
parent f259066b7f
commit d2a7d0850d
2 changed files with 0 additions and 22 deletions

View file

@ -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

View file

@ -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;
}