diff options
| -rw-r--r-- | Makefile | 14 | ||||
| -rw-r--r-- | info.css | 8 |
2 files changed, 22 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..e2250b1 --- /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 0000000..1ec7948 --- /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; +} + |