diff options
Diffstat (limited to 'update_html')
-rwxr-xr-x | update_html | 74 |
1 files changed, 0 insertions, 74 deletions
diff --git a/update_html b/update_html deleted file mode 100755 index 2c07b476..00000000 --- a/update_html +++ /dev/null @@ -1,74 +0,0 @@ -#!/bin/bash -# Regenerate html files. -# If given a single argument, regenerate just that file. - -set -e - -( cd linkify; build; ) - -# generate html/$1.html using /tmp/tags -process() { - rm -f html/$1.html - convert_html $1 - linkify/linkify /tmp/tags html/$1.html - mv html/$1.html.out html/$1.html -} - -URL_BASE='https://github.com/akkartik/mu/blob/master' - -convert_html() { - 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 - - sed -i "/^<body/a <a href='$URL_BASE/$1'>$URL_BASE/$1</a>" $1.html - - sed -i 's/^\* { \(.*\) }/* { font-size:12pt; \1 }/g' $1.html - sed -i 's/^body { \(.*\) }/body { font-size:12pt; \1 }/g' $1.html - - sed -i '/^body {/a a { color:inherit; }' $1.html - - # switch unicode characters around in the rendered html - # the ones we have in the source files render double-wide in html - # the ones we want in the html cause iTerm2 to slow down in alt-tabbing for some reason - # the following commands give us the best of both worlds - sed -i -e 's/┈/╌/g' -e 's/┊/╎/g' $1.html - - mv -i $1.html html/`dirname $1` -} - -ctags -x *.cc |grep -v '^. ' > /tmp/tags # don't hyperlink every 'i' to the integer register variant -for f in *.cc -do - test $# -gt 0 && test $1 != $f && continue - process $f -done - -for f in examples/*.subx -do - test $# -gt 0 && test $1 != $f && continue - ( cd examples - ctags -x `basename $f` > /tmp/tags - ) - process $f -done - -ctags -x *.subx > /tmp/tags -for f in *.subx -do - test $# -gt 0 && test $1 != $f && continue - process $f -done - -for f in apps/*.subx -do - test $# -gt 0 && test $1 != $f && continue - ( cd apps - ctags -x ../*.subx `basename $f` > /tmp/tags - ) - process $f -done - -rm /tmp/tags -( cd linkify; clean; ) |