From 754d813bc5044fb7a9ce586692b627512ca84fb5 Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Tue, 23 Mar 2021 23:02:41 -0700
Subject: .

---
 tools/update_html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tools/update_html')

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
-- 
cgit 1.4.1-2-gfad0