diff --git a/Jenkinsfile b/Jenkinsfile index 9292a38..ba8fd3a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -13,9 +13,9 @@ pipeline { } stage('Syncing website...') { steps { - // echo 'Syncing website...' + echo 'Syncing website only in master branch, not here in devel branch...' // sh 'rm -rf $HOME/www/*' - sh 'cp -a ./doc/build/html/* $HOME/www/' + // sh 'cp -a ./doc/build/html/* $HOME/www/' } }