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