From 4558654a487c7d213fa3570084c212a26805c16e Mon Sep 17 00:00:00 2001
From: Alessandro Mauri <alemauri001@gmail.com>
Date: Thu, 10 Sep 2020 16:38:47 +0200
Subject: [PATCH] clean destination directory before build

---
 rivet.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/rivet.sh b/rivet.sh
index 3eed5fb..2803372 100755
--- a/rivet.sh
+++ b/rivet.sh
@@ -107,6 +107,7 @@ if ! [ -d "$srcdir" ]; then
 	usage
 fi
 
+rm -rf "$destdir"
 mkdir -p "$destdir"
 cp -r "$srcdir"/* "$destdir"
 rm -f "$destdir"/_header.html "$destdir"/_footer.html