diff options
Diffstat (limited to 'gen-freestanding.sh')
-rwxr-xr-x | gen-freestanding.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/gen-freestanding.sh b/gen-freestanding.sh deleted file mode 100755 index 9477463..0000000 --- a/gen-freestanding.sh +++ /dev/null @@ -1,11 +0,0 @@ -#!/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 |