Script zur Erstellung des Indexfiles fuer die Website
Das CGI-Script zum Anzeigen der Manpages der Website liest dieses
Indexfile ein. Neues Script von Rumata.
Change-Id: I713e7bc8a9022687b1a304877675359c3528d129
diff --git a/doc/make-idx.sh b/doc/make-idx.sh
new file mode 100755
index 0000000..3162391
--- /dev/null
+++ b/doc/make-idx.sh
@@ -0,0 +1,18 @@
+#!/bin/bash
+#
+# 2019 Rumata
+#
+# Baut die .idx Datei auf, wie sie von der documentation.shtml Webseite gebraucht
+# wird.
+#
+# Listet alle Dateien unter doc, die nicht zu sphinx gehoeren und nach einer Manpage aussehen
+# in der Form basename<TAB>pathname auf.
+#
+
+find . -type f -name '[a-zA-Z0-9]*' |\
+ grep -v sphinx |\
+ while read LINE
+ do
+ egrep -q '^(DESCRIPTION|----|====)' "$LINE" &&\
+ printf "%s\t%s\n" $(basename "$LINE") $(echo "$LINE" | sed 's/^.\///')
+done >.idx