#/bin/sh DIR="$(dirname "$0")" OUTDIR="$DIR/../public" exec >"$OUTDIR/index.html" cat <<'EOF' Liber Dolorum

Liber Dolorum

"Another trick in the book"

EOF "$DIR/make_html_table.sh" "$DIR/make_html_archives.sh" cat <<'EOF'

alpha 0.1

EOF