.

1 files changed, 2 insertions, 2 deletions

diff --git a/tools/update_html b/tools/update_html
index 1ed2fefb..c395f675 100755
--- a/tools/update_html
+++ b/tools/update_html
@@ -49,12 +49,12 @@ for f in [^0-9]*.subx [^0-9]*.mu
 do
   test $# -gt 0  &&  test $1 != $f  &&  continue
   test $f = "boot.subx" && continue
-  ctags -x [0-9]*.subx [0-9]*.mu $f > /tmp/tags
+  ctags -x boot.subx [0-9]*.subx [0-9]*.mu $f > /tmp/tags
   process $f
 done
 
 ( cd shell
-  ctags -x ../[0-9]*.subx ../[0-9]*.mu *.mu > /tmp/tags
+  ctags -x ../boot.subx ../[0-9]*.subx ../[0-9]*.mu *.mu > /tmp/tags
 )
 for f in shell/*.mu
 do