diff options
Diffstat (limited to 'update_html')
-rwxr-xr-x | update_html | 2 |
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 |