From 07026e348af2e7457a47522eaba9b7540cb11379 Mon Sep 17 00:00:00 2001
From: dany <contact@iohub.dev>
Date: Tue, 3 Jan 2023 18:40:19 +0100
Subject: [PATCH] Update 'Jenkinsfile'

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

diff --git a/Jenkinsfile b/Jenkinsfile
index b3f4327..1ab67b1 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -33,6 +33,7 @@ def generateStage(name) {
             rm -rf antos/frontend/$tag/build/opt/www/htdocs/os/rst
 
             # release antos doc
+            [ -d "/home/dany/public/antos-release/doc/$tag" ] && rm -rf /home/dany/public/antos-release/doc/$tag || true
             [ -d "antos/frontend/$tag/doc" ] && cp -rf antos/frontend/$tag/doc /home/dany/public/antos-release/doc/$tag || true
             '''
         }