1 files changed, 25 insertions, 0 deletions
diff --git a/html/gen.sh b/html/gen.sh
new file mode 100755
index 0000000..d14286e
--- /dev/null
+++ b/html/gen.sh
@@ -0,0 +1,25 @@
+#!/bin/bash
+
+set -euo pipefail
+
+if [ $# -eq 0 ]
+then
+    exec find . -name \*.md -exec "$0" {} +
+fi
+
+for file
+do
+    if ! [ -f "$file" ]
+    then
+        echo >&2 "File not found: $file"
+        continue
+    fi
+    echo "$file"
+    {
+        title=$(sed '/^# / { s/# //; q }' "$file")
+        sed "s/__TITLE__/$title/" prelude.html
+        echo "<body>"
+        markdown2 "$file" -x fenced-code-blocks,highlightjs-lang
+        echo "</body>"
+    } > "${file%.md}".html
+done