reorganised docs locations (doc/* -> doc/online/*, doc/freestanding/* -> doc/*)

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