From bdbd320bf47955aa19d2b73dfb24954f2e41e952 Mon Sep 17 00:00:00 2001
From: sylvain tricot <sylvain.tricot@univ-rennes1.fr>
Date: Fri, 24 Sep 2021 16:50:08 +0200
Subject: [PATCH] Modified JenkinsFile.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 4443c5f..9294af1 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -8,12 +8,12 @@ pipeline {
         }
         stage('Building HTML documentation...') {
             steps {
-                sh '/bin/bash -c "source _venv/bin/activate && pip install sphinx lxml"'
-                sh '/bin/bash -c "source _venv/bin/activate && cd doc && make html"'
+		sh 'make doc PYTHON=python3'
             }
         }
         stage('Syncing website...') {
             steps {
+		echo 'Syncing website...'
 		// sh 'rm -rf $HOME/www/*'
                 // sh 'cp -a ./doc/build/html/* $HOME/www/'
             }