Erase old html files before generating the new ones

diff --git a/doc/man2html.sh b/doc/man2html.sh
index eec53ef5488cd20860810850e054002bf8ea2227..69dcadf147a162b7d571202ac68823774a6b6276 100755 (executable)
--- a/doc/man2html.sh
+++ b/doc/man2html.sh
@@ -2,6 +2,9 @@
 
 DIR=$(dirname "$0")
 
+# clean before build
+rm -rf "$DIR/html/*.html"
+
 for name in $(ls -1 "$DIR/man/man3/" | sed 's/.3monocypher//')
 do
     mandoc                            \