diff --git a/Jenkinsfile b/Jenkinsfile index 0b84ab9..5ae5daa 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -18,6 +18,7 @@ pipeline { branch 'release' } steps { + sh 'rm -rf /var/www/MLEM/*' sh 'cp Docs/_site/** /var/www/MLEM/ -r' } }