From 8a92572df505eab170912e082e085301e7fecddd Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Tue, 22 Aug 2017 09:50:06 -0700
Subject: 3983

---
 update_html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'update_html')

diff --git a/update_html b/update_html
index dc91660d..024b2ddb 100755
--- a/update_html
+++ b/update_html
@@ -65,7 +65,7 @@ process() {
 
   for f in [a-zA-Z]*.mu
   do
-    rm html/$f.html
+    rm -f html/$f.html
     process $f
     ctags -x [0-9]*.mu $f  > /tmp/tags
     linkify/linkify /tmp/tags html/$f.html
-- 
cgit 1.4.1-2-gfad0