diff --git a/Jenkinsfile b/Jenkinsfile index e8ff3a6..e73518a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -16,10 +16,11 @@ pipeline { branch 'master' } steps { - sh '''rm -rf ${env.DEST}/* - cp -r main/_site/. ${env.DEST} - cp -r actaddmanual ${env.DEST} - cp -r commissions ${env.DEST}''' + sh "rm -rf ${env.DEST}/*" + + sh "cp -r main/_site/. ${env.DEST}" + sh "cp -r actaddmanual ${env.DEST}" + sh "cp -r commissions ${env.DEST}" } } }