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 ''' }