From aa94217fc6c6491673f2040c0f30446d88c04ea1 Mon Sep 17 00:00:00 2001
From: Ellpeck <me@ellpeck.de>
Date: Fri, 26 Nov 2021 19:45:59 +0100
Subject: [PATCH] delete old docs before copying new ones to destination

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 0b84ab9..5ae5daa 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -18,6 +18,7 @@ pipeline {
         branch 'release'
       }
       steps {
+        sh 'rm -rf /var/www/MLEM/*'
         sh 'cp Docs/_site/** /var/www/MLEM/ -r'
       }
     }