blob: ad279337bd79b4fbdf9eb58458bc5820fd24c9df (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
#!/bin/bash
set -euo pipefail
if [ "$(pwd)" != "$HOME/src/zisp" ]
then
echo >&2 "Call this from within the Zisp source root."
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/" html/prelude.html
echo "<body>"
markdown2 "$src" -x fenced-code-blocks,highlightjs-lang,tables
echo "</body>"
} > "$dst"
}
md2ht html/index.md html/zisp/index.html
cp html/style.css html/zisp/
shopt -s globstar
for file in notes/*.md docs/**/*.md
do
dest=html/zisp/${file%.md}.html
mkdir -p "${dest%/*}"
md2ht "$file" "$dest"
done
for file in docs/**/*.txt
do
dest=html/zisp/$file
mkdir -p "${dest%/*}"
cp "$file" "$dest"
done
rsync -a html/zisp tk:/var/www/html
|
