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 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