From c9243362cdcf5af806d88debd2737dd87d22e26b Mon Sep 17 00:00:00 2001
From: sylvain tricot <sylvain.tricot@univ-rennes1.fr>
Date: Wed, 30 Jun 2021 16:18:47 +0200
Subject: [PATCH] work on Jenkinsfile

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

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/'
             }