From 6f7f23366039ea8c652b9012d8148dd7e2b5603f Mon Sep 17 00:00:00 2001
From: dany <contact@iohub.dev>
Date: Tue, 3 Jan 2023 18:11:10 +0100
Subject: [PATCH] Update 'Jenkinsfile'

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

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