about summary refs log tree commit diff stats
path: root/tools/update_html
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2020-12-29 19:28:56 -0800
committerKartik Agaram <vc@akkartik.com>2020-12-29 19:28:56 -0800
commit395f736d1ae339f9b633ae36e10b42fbca2d26f9 (patch)
treed683df6e631ba831c0c7feaacbf6f2a42b6d989e /tools/update_html
parentc35ae0085ceff4cd86a815714cd8ffa6406a287a (diff)
downloadmu-395f736d1ae339f9b633ae36e10b42fbca2d26f9.tar.gz
7464
Diffstat (limited to 'tools/update_html')
-rwxr-xr-xtools/update_html9
1 files changed, 9 insertions, 0 deletions
diff --git a/tools/update_html b/tools/update_html
index 321f3c45..bd644e42 100755
--- a/tools/update_html
+++ b/tools/update_html
@@ -90,4 +90,13 @@ do
   process $f
 done
 
+for f in baremetal/*.subx
+do
+  test $# -gt 0  &&  test $1 != $f  &&  continue
+  ( cd baremetal
+    ctags -x [0-9]*.subx [0-9]*.mu `basename $f` > /tmp/tags
+  )
+  process $f
+done
+
 rm /tmp/tags