From 91a5f3e10300fd84db26690095329592de0942d7 Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Fri, 11 Sep 2020 00:59:56 -0700
Subject: 6774

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

(limited to 'tools/update_html')

diff --git a/tools/update_html b/tools/update_html
index c5589418..0f073377 100755
--- a/tools/update_html
+++ b/tools/update_html
@@ -8,6 +8,7 @@ set -e
 
 # generate html/$1.html using /tmp/tags
 process() {
+  mkdir -p html/`dirname $1`
   rm -f html/$1.html
   convert_html $1
   tools/linkify /tmp/tags html/$1.html
@@ -70,4 +71,14 @@ do
   process $f
 done
 
+for f in apps/*/*.mu
+do
+  test $# -gt 0  &&  test $1 != $f  &&  continue
+  echo $f
+  ( cd `dirname $f`
+    ctags -x ../../[0-9]*.subx ../../[0-9]*.mu `basename $f` > /tmp/tags
+  )
+  process $f
+done
+
 rm /tmp/tags
-- 
cgit 1.4.1-2-gfad0