diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..89f9ac0 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +out/ diff --git a/make_static.sh b/make_static.sh new file mode 100755 index 0000000..5b5d37b --- /dev/null +++ b/make_static.sh @@ -0,0 +1,13 @@ +#!/usr/bin/env bash +# TODO: use nix shebang?! + +if [ -d out ] +then + echo "ERROR: out already exists" + exit 1 +fi + +mkdir out +find . -type d '!' -path './.git/*' '!' -name .git '!' -name out '!' -path './out/*' '!' -name '.' -exec mkdir 'out/{}' ';' +find . -type f -name '*.md' '!' -path './out/*' -exec bash -c 'i="$1"; pandoc -f markdown -s -t html "$i" > $(echo "out/${i%.md}.html")' sh {} ';' +(cd out && tree -o index.html -H .)