diff options
Diffstat (limited to 'gen-freestanding.sh')
-rwxr-xr-x | gen-freestanding.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gen-freestanding.sh b/gen-freestanding.sh index 53f69ca..9477463 100755 --- a/gen-freestanding.sh +++ b/gen-freestanding.sh @@ -3,6 +3,7 @@ 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" ; |