From 16a550ee26dfe825469bec5b7ab0204cff06d9c2 Mon Sep 17 00:00:00 2001
From: sylvain tricot <sylvain.tricot@univ-rennes1.fr>
Date: Wed, 30 Jun 2021 15:21:29 +0200
Subject: [PATCH] Changes the build doc target

---
 Jenkinsfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 62b5ba5..c591697 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,7 +9,8 @@ pipeline {
         stage('Building HTML documentation...') {
             steps {
                 echo 'building HTML...'
-                source _venv/bin/activate && pip install sphinx lxml && cd doc && make html
+                sh '/bin/bash -c "source _venv/bin/activate && pip install sphinx lxml"
+                sh '/bin/bash -c "source _venv/bin/activate && cd doc && make html"
             }
         }
         stage('Syncing website...') {