6631

1 files changed, 4 insertions, 4 deletions

diff --git a/tools/update_html b/tools/update_html
index 7efddfe7..c5589418 100755
--- a/tools/update_html
+++ b/tools/update_html
@@ -45,8 +45,8 @@ do
   process $f
 done
 
-ctags -x *.subx  > /tmp/tags
-for f in *.subx
+ctags -x [0-9]*.subx [0-9]*.mu  > /tmp/tags
+for f in *.subx *.mu
 do
   test $# -gt 0  &&  test $1 != $f  &&  continue
   process $f
@@ -56,7 +56,7 @@ for f in apps/*.subx
 do
   test $# -gt 0  &&  test $1 != $f  &&  continue
   ( cd apps
-    ctags -x ../*.subx `basename $f` > /tmp/tags
+    ctags -x ../[0-9]*.subx ../[0-9]*.mu `basename $f` > /tmp/tags
   )
   process $f
 done
@@ -65,7 +65,7 @@ for f in apps/*.mu
 do
   test $# -gt 0  &&  test $1 != $f  &&  continue
   ( cd apps
-    ctags -x ../*.subx `basename $f` > /tmp/tags
+    ctags -x ../[0-9]*.subx ../[0-9]*.mu `basename $f` > /tmp/tags
   )
   process $f
 done