Merge branch 'gh-pages' into gh-pages-next

Wrong branch (again)
This commit is contained in:
Mattias Andrée 2012-10-28 00:07:32 +02:00
commit 9c745bc469
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;
}