5875

1 files changed, 7 insertions, 7 deletions

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