1 files changed, 10 insertions, 0 deletions
diff --git a/update_html b/update_html
new file mode 100755
index 00000000..be541212
--- /dev/null
+++ b/update_html
@@ -0,0 +1,10 @@
+#!/bin/bash
+# Regenerate html files.
+
+for f in *.cc *.mu
+do
+  vim -c "TOhtml | w | qa" $f
+  mv $f.html html
+done
+sed -i 's,<title>\~/Desktop/s/mu/,<title>Mu - ,' html/*
+sed -i 's,\.html</title>,</title>,' html/*