about summary refs log tree commit diff stats
path: root/tools/update_html
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2021-03-23 22:27:46 -0700
committerKartik Agaram <vc@akkartik.com>2021-03-23 22:27:59 -0700
commit3120f938c660ab5fcecb579122440d487ccd798e (patch)
treeda0f72f0ffd3001fa8dc01528d1aeab78bfcda66 /tools/update_html
parentb663b5797ab5852f4698e5375bff00a413de6396 (diff)
downloadmu-3120f938c660ab5fcecb579122440d487ccd798e.tar.gz
.
Diffstat (limited to 'tools/update_html')
-rwxr-xr-xtools/update_html5
1 files changed, 3 insertions, 2 deletions
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