From dd60a1d73c8017fd3d80ccf91e4549fc47a90760 Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Mon, 16 Nov 2020 20:44:02 -0800
Subject: 7252

---
 tools/update_html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools/update_html')

diff --git a/tools/update_html b/tools/update_html
index 0f073377..97371b8f 100755
--- a/tools/update_html
+++ b/tools/update_html
@@ -76,7 +76,7 @@ do
   test $# -gt 0  &&  test $1 != $f  &&  continue
   echo $f
   ( cd `dirname $f`
-    ctags -x ../../[0-9]*.subx ../../[0-9]*.mu `basename $f` > /tmp/tags
+    ctags -x ../../[0-9]*.subx ../../[0-9]*.mu *.mu > /tmp/tags
   )
   process $f
 done
-- 
cgit 1.4.1-2-gfad0