diff options
author | eudoxia <uplink@distress.network> | 2022-03-31 10:19:21 -0400 |
---|---|---|
committer | eudoxia <uplink@distress.network> | 2022-03-31 10:19:21 -0400 |
commit | 27f4773b122a2758cfaf88537c9e1a8ad5df7e69 (patch) | |
tree | f6a31476fee7208d1ceb49186b243b106b09a5bd /gen-docs.sh |
initial
Diffstat (limited to 'gen-docs.sh')
-rwxr-xr-x | gen-docs.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gen-docs.sh b/gen-docs.sh new file mode 100755 index 0000000..12ab3ac --- /dev/null +++ b/gen-docs.sh @@ -0,0 +1,9 @@ +#!/bin/sh -e + +for file in "data" "log" "tangle" "weave" ; do + cp "doc/header-html" "doc/${file}.html" ; + cat "doc/header-lp" "${file}.lp" | ./weave | lowdown -Thtml >> "doc/${file}.html" ; + printf "</body>\n</html>" >> "doc/${file}.html" ; + sed 's/\(.*\)@= \(.*\) =@/\1<span class="ref" >(\2)<\/span>/1' -i'' "doc/${file}.html" ; + echo "[ok] generated text '${file}'" ; +done |