summaryrefslogtreecommitdiff
path: root/html/gen.sh
diff options
context:
space:
mode:
authorTaylan Kammer <taylan.kammer@gmail.com>2025-02-10 20:20:26 +0100
committerTaylan Kammer <taylan.kammer@gmail.com>2025-02-15 18:38:28 +0100
commitdd3d8f9d768479df36e51d402adf55afad1aff07 (patch)
tree21b11a361ca080a2d130f33fe435b4ac284731be /html/gen.sh
parent831dc694c404826e9a1bf07788e10b9ac3d9cb2d (diff)
update
Diffstat (limited to 'html/gen.sh')
-rwxr-xr-xhtml/gen.sh25
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