From 00c4d6122182c37a8b37d27fd1e8e896cbdbe928 Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Tue, 29 Dec 2020 21:20:36 -0800
Subject: 7472

---
 tools/update_html | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'tools/update_html')

diff --git a/tools/update_html b/tools/update_html
index bd644e42..763b929a 100755
--- a/tools/update_html
+++ b/tools/update_html
@@ -99,4 +99,13 @@ do
   process $f
 done
 
+for f in baremetal/*.mu
+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
-- 
cgit 1.4.1-2-gfad0