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

---
 Jenkinsfile | 1 -
 1 file changed, 1 deletion(-)

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