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