diff options
Diffstat (limited to 'tools/update_html')
-rwxr-xr-x | tools/update_html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/update_html b/tools/update_html index 1ed2fefb..c395f675 100755 --- a/tools/update_html +++ b/tools/update_html @@ -49,12 +49,12 @@ for f in [^0-9]*.subx [^0-9]*.mu do test $# -gt 0 && test $1 != $f && continue test $f = "boot.subx" && continue - ctags -x [0-9]*.subx [0-9]*.mu $f > /tmp/tags + ctags -x boot.subx [0-9]*.subx [0-9]*.mu $f > /tmp/tags process $f done ( cd shell - ctags -x ../[0-9]*.subx ../[0-9]*.mu *.mu > /tmp/tags + ctags -x ../boot.subx ../[0-9]*.subx ../[0-9]*.mu *.mu > /tmp/tags ) for f in shell/*.mu do |