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

---
 Jenkinsfile | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 4c0778a..cb61dde 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -14,12 +14,8 @@ pipeline {
         }
         stage('Syncing website...') {
             steps {
-                echo 'syncing website...'
-            }
-        }
-        stage('Cleaning up...') {
-            steps {
-                echo 'Cleaning artifacts...'
+		sh 'rm -rf $HOME/www/*'
+                sh 'cp -a ./doc/build/html/* $HOME/www/'
             }
         }