diff --git a/Jenkinsfile_doc b/Jenkinsfile_doc index e5ee6ee274..7399df175e 100644 --- a/Jenkinsfile_doc +++ b/Jenkinsfile_doc @@ -7,7 +7,7 @@ pipeline { agent { docker { label "local" - image "docker.hops.works/hopsworks_twine:0.0.2" + image "docker.hops.works/hopsworks_twine:0.0.3" } } @@ -26,9 +26,9 @@ pipeline { } steps { - sh "rm -r /opt/docs/*" - sh "cp -r site/* /opt/docs/" + sh "rm -r /opt/docs/*" + sh "cp -r site/* /opt/docs/" } } } -} \ No newline at end of file +}