5799 - move html-generation to `tools/` directory

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; )