blob: 53f69cab6492fa1dbb53118cce000ead4c453252 (
plain)
1
2
3
4
5
6
7
8
9
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
|