From 3120f938c660ab5fcecb579122440d487ccd798e Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Tue, 23 Mar 2021 22:27:46 -0700
Subject: .

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

(limited to 'tools/update_html')

diff --git a/tools/update_html b/tools/update_html
index c1d6e316..1ed2fefb 100755
--- a/tools/update_html
+++ b/tools/update_html
@@ -38,8 +38,8 @@ convert_html() {
   sed -i -e 's/┈/╌/g' -e 's/┊/╎/g' $1.html
 }
 
-ctags -x [0-9]*.subx [0-9]*.mu  > /tmp/tags
-for f in [0-9]*.subx [0-9]*.mu
+ctags -x boot.subx [0-9]*.subx [0-9]*.mu  > /tmp/tags
+for f in boot.subx [0-9]*.subx [0-9]*.mu
 do
   test $# -gt 0  &&  test $1 != $f  &&  continue
   process $f
@@ -48,6 +48,7 @@ done
 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
   process $f
 done
-- 
cgit 1.4.1-2-gfad0