doc generation integrated with distress.network

1 files changed, 10 insertions, 0 deletions

diff --git a/gen-freestanding.sh b/gen-freestanding.sh
new file mode 100755
index 0000000..53f69ca
--- /dev/null
+++ b/gen-freestanding.sh
@@ -0,0 +1,10 @@
+#!/bin/sh -e
+
+for file in "data" "log" "tangle" "weave" ; do
+	in="${file}.lp" ; out="doc/freestanding/${file}.html" ;
+	cp "doc/header-html" "$out" ;
+	cat "doc/header-lp" "$in" | ./weave | lowdown -Thtml >> "$out" ;
+	printf "</body>\n</html>" >> "$out" ;
+	sed 's/\(.*\)@= \(.*\) =@/\1<span class="ref" >(\2)<\/span>/1' -i'' "$out" ;
+	echo "[ok]	generated text '${file}'" ;
+done