blob: 9477463706893269a8756edd0067a81b81b07573 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#!/bin/sh -e
for file in "data" "log" "tangle" "weave" ; do
in="${file}.lp" ; out="doc/freestanding/${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
|