1 files changed, 0 insertions, 16 deletions
diff --git a/tools/update_html b/tools/update_html
index 7efddfe7..34a52eea 100755
--- a/tools/update_html
+++ b/tools/update_html
@@ -38,13 +38,6 @@ convert_html() {
   mv -i $1.html html/`dirname $1`
 }
 
-ctags -x *.cc  |grep -v '^. '  > /tmp/tags  # don't hyperlink every 'i' to the integer register variant
-for f in *.cc
-do
-  test $# -gt 0  &&  test $1 != $f  &&  continue
-  process $f
-done
-
 ctags -x *.subx  > /tmp/tags
 for f in *.subx
 do
@@ -61,13 +54,4 @@ do
   process $f
 done
 
-for f in apps/*.mu
-do
-  test $# -gt 0  &&  test $1 != $f  &&  continue
-  ( cd apps
-    ctags -x ../*.subx `basename $f` > /tmp/tags
-  )
-  process $f
-done
-
 rm /tmp/tags