#!/bin/sh -e

for file in "data" "log" "tangle" "weave" ; do
	in="${file}.lp" ; out="doc/${file}.html" ;
	cp "doc/header-html" "$out" ;
	printf "<h1>${in}</h1>\n" >> "$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