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