diff options
| author | Kartik Agaram <vc@akkartik.com> | 2020-09-11 00:59:56 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2020-09-11 00:59:56 -0700 |
| commit | 91a5f3e10300fd84db26690095329592de0942d7 (patch) | |
| tree | 892f8d2f339f834ff6a8269e1fe098750c99090d /tools/update_html | |
| parent | 3a4be20aba860bb62db3271b8e157bcc807514b0 (diff) | |
| download | mu-91a5f3e10300fd84db26690095329592de0942d7.tar.gz | |
6774
Diffstat (limited to 'tools/update_html')
| -rwxr-xr-x | tools/update_html | 11 |
1 files changed, 11 insertions, 0 deletions
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 |