about summary refs log tree commit diff stats
path: root/tools
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2021-08-11 19:25:27 -0700
committerKartik K. Agaram <vc@akkartik.com>2021-08-11 19:25:27 -0700
commit7670161ca4caa598a0dd6b15e666d127a544df6b (patch)
tree51a29d6c39e66eeabe1cbd65d7696aad4c6cb1de /tools
parent8b0355386728714fece2bcc14abc6edc0d20c726 (diff)
downloadmu-7670161ca4caa598a0dd6b15e666d127a544df6b.tar.gz
.
Diffstat (limited to 'tools')
-rwxr-xr-xtools/update_html9
1 files changed, 9 insertions, 0 deletions
diff --git a/tools/update_html b/tools/update_html
index a938cb03..42d977ff 100755
--- a/tools/update_html
+++ b/tools/update_html
@@ -64,6 +64,15 @@ do
   process $f
 done
 
+( cd browse-slack
+  ctags -x ../boot.subx ../[0-9]*.subx ../[0-9]*.mu *.mu > /tmp/tags
+)
+for f in browse-slack/*.mu
+do
+  test $# -gt 0  &&  test $1 != browse-slack/$f  &&  continue
+  process $f
+done
+
 ( cd linux
   ctags -x [0-9]*.subx [0-9]*.mu  > /tmp/tags
 )