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