From 50e94ba321d412432bef62e95da0f7c77ec8f534 Mon Sep 17 00:00:00 2001
From: Loup Vaillant <loup@loup-vaillant.fr>
Date: Sat, 14 Oct 2017 17:40:13 +0200
Subject: [PATCH] Erase old html files before generating the new ones

---
 doc/man2html.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/man2html.sh b/doc/man2html.sh
index eec53ef..69dcadf 100755
--- 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                            \
-- 
2.47.3