summaryrefslogtreecommitdiff
path: root/html/gen.sh
diff options
context:
space:
mode:
authorTaylan Kammer <taylan.kammer@gmail.com>2026-05-25 12:14:37 +0200
committerTaylan Kammer <taylan.kammer@gmail.com>2026-05-25 12:16:14 +0200
commit82621ba5620788ce24aa8db089b4beb9910d9bd6 (patch)
tree7df75fba8341c9a7a7f7de7f496177939dbd3fdd /html/gen.sh
parent4b9213d9addd6315de73747a0fdd7e996ba2826a (diff)
html/gen.sh -> update-html.sh
Diffstat (limited to 'html/gen.sh')
-rwxr-xr-xhtml/gen.sh60
1 files changed, 0 insertions, 60 deletions
diff --git a/html/gen.sh b/html/gen.sh
deleted file mode 100755
index cedc4b2..0000000
--- a/html/gen.sh
+++ /dev/null
@@ -1,60 +0,0 @@
-#!/bin/bash
-
-set -euo pipefail
-
-if [ "$(pwd)" != "$HOME/src/zisp/html" ]
-then
- echo >&2 "Call this from within the Zisp HTML directory."
- exit 1
-fi
-
-md2ht() {
- src=$1
- dst=$2
- if ! [ -f "$src" ]
- then
- echo >&2 "File not found: $src"
- continue
- fi
- echo "$src -> $dst"
- {
- title=$(sed 's/# //; s/&/\\&/; q' "$src")
- sed "s/__TITLE__/$title/" prelude.html
- echo "<body>"
- markdown2 "$src" -x fenced-code-blocks,highlightjs-lang,tables
- echo "</body>"
- } > "$dst"
-}
-
-md2ht index.md zisp/index.html
-cp style.css zisp/
-
-for file in ../notes/*.md
-do
- name=${file#../notes/}
- name=${name%.md}
- md2ht "$file" "zisp/notes/$name.html"
-done
-
-shopt -s globstar
-
-for file in ../docs/**/*.md
-do
- name=${file#../docs/}
- name=${name%.md}
- dir=${file#../}
- dir=${dir%/*}
- mkdir -p "zisp/$dir"
- md2ht "$file" "zisp/docs/$name.html"
-done
-
-for file in ../docs/**/*.txt
-do
- dir=${file#../}
- dir=${dir%/*}
- mkdir -p "zisp/$dir"
- dest=zisp/docs/${file#../docs/}
- cp "$file" "$dest"
-done
-
-rsync -a zisp tk:/var/www/html