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

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 814826a..42736eb 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -7,6 +7,7 @@ pipeline {
       }
       steps {
         sh 'docfx.exe'
+        sh 'rm -rf /var/www/tinylifedocs/*'
         sh 'cp _site/** /var/www/tinylifedocs/ -r'   
       }
     }