diff --git a/Jenkinsfile b/Jenkinsfile index aff54ee..77c1cce 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -40,9 +40,6 @@ pipeline{ // only useful for any master branch //if (env.BRANCH_NAME =~ /^master/) { archiveArtifacts artifacts: 'd.ts/, build/, doc/', fingerprint: true - sh''' - cp -rf doc /home/dany/public/antos-release/doc-2.0.x - ''' //} } }