diff --git a/Makefile b/Makefile new file mode 100644 index 00000000..e2250b1c --- /dev/null +++ b/Makefile @@ -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 + diff --git a/info.css b/info.css new file mode 100644 index 00000000..1ec7948f --- /dev/null +++ b/info.css @@ -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; +} +