From fcd667a0ebe73a7868e93232faea36d56535be18 Mon Sep 17 00:00:00 2001
From: eudoxia <uplink@distress.network>
Date: Mon, 2 May 2022 12:37:11 -0400
Subject: reorganised docs locations (doc/* -> doc/online/*, doc/freestanding/*
 -> doc/*)

---
 gen-freestanding.sh | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100755 gen-freestanding.sh

(limited to 'gen-freestanding.sh')

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
-- 
cgit v1.2.3