From cd077ec4c1c8e2672a20248e443da9c45fd06566 Mon Sep 17 00:00:00 2001
From: dany <contact@iohub.dev>
Date: Tue, 3 Jan 2023 17:58:52 +0100
Subject: [PATCH] Update 'Jenkinsfile'

---
 Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 7a11102..ca31bac 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -31,6 +31,9 @@ def generateStage(name) {
             cp -rfv antos/webapps/build/opt/www/htdocs/silk  antos/frontend/$tag/build/opt/www/htdocs
             cp -rfv antos/webapps/build/opt/www/htdocs/mimes.json  antos/frontend/$tag/build/opt/www/htdocs
             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
             '''
         }
     }