diff options
Diffstat (limited to 'update_html')
| -rwxr-xr-x | update_html | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/update_html b/update_html index 1cf72d00..fdd29ef2 100755 --- a/update_html +++ b/update_html @@ -50,7 +50,12 @@ then ctags -x *.cc |grep -v "^operator \| member \| variable " > cpp.tags linkify/linkify cpp.tags html/*.cc.html ctags -x 0*.mu > mu.tags - linkify/linkify mu.tags html/*.mu.html html/edit/*.mu.html + linkify/linkify mu.tags html/*.mu.html + ( cd edit + ctags -x *.mu ../0*.mu > mu.tags + ../linkify/linkify mu.tags ../html/edit/*.mu.html + rm mu.tags + ) rm *.tags ( cd linkify; clean; ) for f in html/*.html html/edit/*.html |