diff --git a/Jenkinsfile b/Jenkinsfile index 11f99e8..9292a38 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -14,7 +14,7 @@ pipeline { stage('Syncing website...') { steps { // echo 'Syncing website...' - sh 'rm -rf $HOME/www/*' + // sh 'rm -rf $HOME/www/*' sh 'cp -a ./doc/build/html/* $HOME/www/' } }