4117 - done with delimited continuations

At least this particular implementation of them. Let's play with them
now for a while, see if they're fully equivalent to shift/reduce.

1 files changed, 1 insertions, 1 deletions

diff --git a/update_html b/update_html
index 3128e2ed..651b287f 100755
--- a/update_html
+++ b/update_html
@@ -7,7 +7,7 @@ set -e
 
 # generate html/$1.html using /tmp/tags
 process() {
-  rm html/$1.html
+  rm -f html/$1.html
   convert_html $1
   linkify/linkify /tmp/tags html/$1.html
   mv html/$1.html.out html/$1.html