From d55e77387fd9cc3eae2f17a6c1993f3bcb061a60 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Mon, 6 Nov 2017 01:28:53 -0800
Subject: 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.
---
 update_html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'update_html')

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
-- 
cgit 1.4.1-2-gfad0