about summary refs log tree commit diff stats
path: root/update_html
diff options
context:
space:
mode:
Diffstat (limited to 'update_html')
-rwxr-xr-xupdate_html2
1 files changed, 1 insertions, 1 deletions
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