diff options
author | Kartik Agaram <vc@akkartik.com> | 2018-12-30 12:11:34 -0800 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2018-12-30 12:54:35 -0800 |
commit | 5a68894ca16f1a67112695990446c1b29da4f5c0 (patch) | |
tree | a31d0e5da7a4aeac89053157322a1acd9c1c136b /update_html | |
parent | cde1bf97b69684f81b8830de2957e8e59f12b5b1 (diff) | |
download | mu-5a68894ca16f1a67112695990446c1b29da4f5c0.tar.gz |
4897
Diffstat (limited to 'update_html')
-rwxr-xr-x | update_html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update_html b/update_html index 98ef1ee3..1a13f655 100755 --- a/update_html +++ b/update_html @@ -87,7 +87,7 @@ do process $f done -for f in subx/apps/hex.subx +for f in subx/apps/*.subx do ( cd subx/apps ctags -x ../*.subx `basename $f` > /tmp/tags |