diff options
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 c1a79ed0..0717a979 100755 --- a/update_html +++ b/update_html @@ -92,7 +92,7 @@ process() { process $f done ( cd subx - ctags -x *.cc > /tmp/tags + ctags -x *.cc |grep -v '^. ' > /tmp/tags # don't hyperlink every 'i' to the integer register variant ) linkify/linkify /tmp/tags html/subx/*.html for f in html/subx/*.cc.html |