From 0d6db435970b4c74eac36f22457929e04617ad1d Mon Sep 17 00:00:00 2001
From: sylvain tricot <sylvain.tricot@univ-rennes1.fr>
Date: Mon, 27 Sep 2021 14:33:17 +0200
Subject: [PATCH] Removed 'syncing website' stage

In the CI, the website is not uploaded at the
end of the process for the 'devel' branch.
---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9292a38..ba8fd3a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -13,9 +13,9 @@ pipeline {
         }
         stage('Syncing website...') {
             steps {
-		// echo 'Syncing website...'
+		echo 'Syncing website only in master branch, not here in devel branch...'
 		// sh 'rm -rf $HOME/www/*'
-                sh 'cp -a ./doc/build/html/* $HOME/www/'
+                // sh 'cp -a ./doc/build/html/* $HOME/www/'
             }
         }