Add user manual

[~andy/aweather-web] / toc.awk

diff --git a/toc.awk b/toc.awk
new file mode 100644 (file)
index 0000000..c973f66
--- /dev/null
+++ b/toc.awk
@@ -0,0 +1,16 @@
+// {
+       if (match($0, /<h[0-9] id="([^"]*)">([0-9.]* *)([^<]*)<\/h[0-9]>/, arr)) {
+               id   = arr[1];
+               num  = arr[2];
+               txt  = arr[3];
+               toc  = toc  "\n" "<li>" num "<a href=\"#" id "\">" txt "</a></li>"
+               body = body "\n" "<a id=\"" id "\"></a>"
+       }
+       body = body "\n" $0
+}
+
+END {
+       print "<h2>Table of Contents</h2>";
+       print "<ul style=\"list-style:none;\">" toc "</ul>";
+       print body;
+}