4924

Restore update_html

1 files changed, 42 insertions, 0 deletions

diff --git a/update_html b/update_html
index 1dace362..1a13f655 100755
--- a/update_html
+++ b/update_html
@@ -37,6 +37,40 @@ convert_html() {
   mv -i $1.html html/`dirname $1`
 }
 
+ctags -x *.cc  |grep -v "^operator \| member \| variable "  > /tmp/tags
+for f in *.cc
+do
+  process $f
+done
+
+ctags -x [0-9]*.mu  > /tmp/tags
+for f in [0-9]*.mu
+do
+  process $f
+done
+
+for f in [a-zA-Z]*.mu
+do
+  ctags -x [0-9]*.mu $f  > /tmp/tags
+  process $f
+done
+
+( cd edit
+  ctags -x ../[0-9]*.mu *.mu  > /tmp/tags
+)
+for f in edit/*.mu
+do
+  process $f
+done
+
+( cd subx
+  ctags -x *.cc  |grep -v '^. '  > /tmp/tags  # don't hyperlink every 'i' to the integer register variant
+)
+for f in subx/*.cc
+do
+  process $f
+done
+
 for f in subx/examples/*.subx
 do
   ( cd subx/examples
@@ -53,5 +87,13 @@ do
   process $f
 done
 
+for f in subx/apps/*.subx
+do
+  ( cd subx/apps
+    ctags -x ../*.subx `basename $f` > /tmp/tags
+  )
+  process $f
+done
+
 rm /tmp/tags
 ( cd linkify; clean; )