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