make manual-update + css for manual

This commit is contained in:
Mattias Andrée 2012-10-28 00:06:06 +02:00
parent 9f21c84536
commit a1e01cf45a
2 changed files with 22 additions and 0 deletions

14
Makefile Normal file
View file

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

8
info.css Normal file
View file

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