diff options
Diffstat (limited to 'update_html')
-rwxr-xr-x | update_html | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/update_html b/update_html index 1a13f655..1dace362 100755 --- a/update_html +++ b/update_html @@ -37,40 +37,6 @@ convert_html() { mv -i $1.html html/`dirname $1` } -ctags -x *.cc |grep -v "^operator \| member \| variable " > /tmp/tags -for f in *.cc -do - process $f -done - -ctags -x [0-9]*.mu > /tmp/tags -for f in [0-9]*.mu -do - process $f -done - -for f in [a-zA-Z]*.mu -do - ctags -x [0-9]*.mu $f > /tmp/tags - process $f -done - -( cd edit - ctags -x ../[0-9]*.mu *.mu > /tmp/tags -) -for f in edit/*.mu -do - process $f -done - -( cd subx - ctags -x *.cc |grep -v '^. ' > /tmp/tags # don't hyperlink every 'i' to the integer register variant -) -for f in subx/*.cc -do - process $f -done - for f in subx/examples/*.subx do ( cd subx/examples @@ -87,13 +53,5 @@ do process $f done -for f in subx/apps/*.subx -do - ( cd subx/apps - ctags -x ../*.subx `basename $f` > /tmp/tags - ) - process $f -done - rm /tmp/tags ( cd linkify; clean; ) |