about summary refs log tree commit diff stats
path: root/tools/update_html
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2021-02-14 16:12:47 -0800
committerKartik Agaram <vc@akkartik.com>2021-02-14 16:29:19 -0800
commit8cff1c04e38787a99b3382055542d967dca420df (patch)
tree6210704d28f1002a062b6e429d7099f671992f6f /tools/update_html
parent247fb5951a4dfdcfef8b431ec7f0b85c863575c7 (diff)
downloadmu-8cff1c04e38787a99b3382055542d967dca420df.tar.gz
7745
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 b75a6a9e..e53bf459 100755
--- a/tools/update_html
+++ b/tools/update_html
@@ -108,4 +108,13 @@ do
   process $f
 done
 
+for f in baremetal/*/*.mu
+do
+  test $# -gt 0  &&  test $1 != $f  &&  continue
+  ( cd baremetal
+    ctags -R -x [0-9]*.subx [0-9]*.mu $(basename $(dirname $f)) > /tmp/tags
+  )
+  process $f
+done
+
 rm /tmp/tags