diff options
Diffstat (limited to 'tools/update_html')
-rwxr-xr-x | tools/update_html | 58 |
1 files changed, 1 insertions, 57 deletions
diff --git a/tools/update_html b/tools/update_html index 8110b010..5f7c2c90 100755 --- a/tools/update_html +++ b/tools/update_html @@ -19,7 +19,7 @@ process() { URL_BASE='https://github.com/akkartik/mu/blob/main' convert_html() { - vim -c "set number" -c TOhtml -c write -c qall $1 + vim -u $MYVIM/vimrc.vim -c "set number" -c TOhtml -c write -c qall $1 sed -i 's,<title>.*/mu/,<title>Mu - ,' $1.html sed -i 's,\.html</title>,</title>,' $1.html @@ -74,60 +74,4 @@ do process $f done -( cd linux - ctags -x [0-9]*.subx [0-9]*.mu > /tmp/tags -) -for f in linux/[0-9]*.subx linux/[0-9]*.mu -do - process $f -done - -for f in linux/[^0-9]*.subx linux/[^0-9]*.mu -do - ( cd $(dirname $f) - ctags -x [0-9]*.subx [0-9]*.mu $(basename $f) > /tmp/tags - ) - process $f -done - -for f in linux/apps/*.subx linux/apps/*.mu -do - ( cd $(dirname $f) - ctags -x ../[0-9]*.subx ../[0-9]*.mu $(basename $f) > /tmp/tags - ) - process $f -done - -for f in linux/apps/advent2020/*.mu linux/apps/advent2017/*.mu -do - ( cd $(dirname $f) - ctags -x ../../[0-9]*.subx ../../[0-9]*.mu $(basename $f) > /tmp/tags - ) - process $f -done - -( cd linux/tile - ctags -x ../[0-9]*.subx ../[0-9]*.mu *.mu > /tmp/tags -) -for f in linux/tile/*.mu -do - process $f -done - -( cd linux/apps/raytracing - ctags -x ../../[0-9]*.subx ../../[0-9]*.mu *.mu > /tmp/tags -) -for f in linux/apps/raytracing/*.mu -do - process $f -done - -( cd linux/bootstrap - ctags -x *.cc |grep -v '^. ' > /tmp/tags # don't hyperlink every 'i' to the integer register variant -) -for f in linux/bootstrap/*.cc -do - process $f -done - rm /tmp/tags |