commit 75b19446221adf45195734a14977db910c0a2e8d
parent f6f9874c0cb6fa6dea8d475ba557f733d1ae5363
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Sun, 6 Sep 2015 01:47:31 +0200
explain htmlredirect
Diffstat:
1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/makegame.sh b/makegame.sh
@@ -1,5 +1,7 @@
#!/bin/bash
+# htmlredirect from http://a3nm.net/git/mybin/tree/htmlredirect
+
set -x
cd game
@@ -32,3 +34,4 @@ cd $CODE
python -m markdown -x markdown.extensions.toc ../../finish.md |
cat ../../head - ../../foot > index.html
cd ..
+