diff --git a/.gitignore b/.gitignore index b59e039..1efda87 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ format site/* resources/style.css +resources/footer.html diff --git a/TODO.org b/TODO.org index 83c964c..afcdba3 100644 --- a/TODO.org +++ b/TODO.org @@ -1,6 +1,5 @@ Writan: - Additional error handling in the formatter. - - Remove extraneous
tags in output. Pages: - Add a category theory page (more general, math). diff --git a/gen.sh b/gen.sh index 5e781dd..e349b95 100755 --- a/gen.sh +++ b/gen.sh @@ -2,10 +2,10 @@ # Strip the CSS file of whitespace to reduce file size echo "Generating CSS" -sed "s/FG/#ddd/g" < resources/style-formatted.css | - sed "s/NORMALBG/#111/g" | - sed "s/CODEBG/#1a1a1a/g" | - tr -d " \t\n\r" > resources/style.css +makros resources/style-formatted.css | tr -d " \t\n\r" > resources/style.css + +# Generate the footer +makros resources/_footer.html > resources/footer.html # Generate HTML pages from Writan sources echo "Generating pages" diff --git a/resources/_footer.html b/resources/_footer.html new file mode 100644 index 0000000..20e4bd0 --- /dev/null +++ b/resources/_footer.html @@ -0,0 +1,6 @@ +DATE @ date +%s + +
index | Last generated DATE +