From 4d3ac28343cf2348f98ae26fa964723e9bd9927f Mon Sep 17 00:00:00 2001
From: sylvain tricot <sylvain.tricot@univ-rennes1.fr>
Date: Fri, 24 Sep 2021 17:02:03 +0200
Subject: [PATCH] Added the syncing website section in CI

A stage to update the website was added to the
Jenkinsfile.
---
 Jenkinsfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9294af1..11f99e8 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -13,9 +13,9 @@ pipeline {
         }
         stage('Syncing website...') {
             steps {
-		echo 'Syncing website...'
-		// sh 'rm -rf $HOME/www/*'
-                // sh 'cp -a ./doc/build/html/* $HOME/www/'
+		// echo 'Syncing website...'
+		sh 'rm -rf $HOME/www/*'
+                sh 'cp -a ./doc/build/html/* $HOME/www/'
             }
         }