7746

1 files changed, 2 insertions, 3 deletions

diff --git a/tools/update_html b/tools/update_html
index e53bf459..e040dc89 100755
--- a/tools/update_html
+++ b/tools/update_html
@@ -74,7 +74,6 @@ done
 for f in apps/*/*.mu
 do
   test $# -gt 0  &&  test $1 != $f  &&  continue
-  echo $f
   ( cd `dirname $f`
     ctags -x ../../[0-9]*.subx ../../[0-9]*.mu *.mu > /tmp/tags
   )
@@ -111,8 +110,8 @@ done
 for f in baremetal/*/*.mu
 do
   test $# -gt 0  &&  test $1 != $f  &&  continue
-  ( cd baremetal
-    ctags -R -x [0-9]*.subx [0-9]*.mu $(basename $(dirname $f)) > /tmp/tags
+  ( cd `dirname $f`
+    ctags -x ../../[0-9]*.subx ../../[0-9]*.mu *.mu > /tmp/tags
   )
   process $f
 done