diff options
-rwxr-xr-x | update_html | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/update_html b/update_html index 7a9b2ca6..369fb059 100755 --- a/update_html +++ b/update_html @@ -1,6 +1,8 @@ #!/bin/bash # Regenerate html files. +set -e + process() { vim -c "set number" -c TOhtml -c write -c qall $1 @@ -53,12 +55,12 @@ then linkify/linkify cpp.tags html/*.cc.html ctags -x 0*.mu > mu.tags linkify/linkify mu.tags html/*.mu.html + rm *.tags ( cd edit ctags -x *.mu ../0*.mu > mu.tags ../linkify/linkify mu.tags ../html/edit/*.mu.html rm mu.tags ) - rm *.tags ( cd linkify; clean; ) for f in html/*.html html/edit/*.html do |