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