diff --git a/Jenkinsfile b/Jenkinsfile index 4c0778a..cb61dde 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -14,12 +14,8 @@ pipeline { } stage('Syncing website...') { steps { - echo 'syncing website...' - } - } - stage('Cleaning up...') { - steps { - echo 'Cleaning artifacts...' + sh 'rm -rf $HOME/www/*' + sh 'cp -a ./doc/build/html/* $HOME/www/' } }