From c3ab5d5a071562f33abc3dccbe9db0e2dbdf1b8f Mon Sep 17 00:00:00 2001
From: sylvain tricot <sylvain.tricot@univ-rennes1.fr>
Date: Wed, 30 Jun 2021 15:02:54 +0200
Subject: [PATCH] Add the build doc target in Jenkins

---
 Jenkinsfile | 21 +++------------------
 1 file changed, 3 insertions(+), 18 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 06631e1..62b5ba5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,30 +1,15 @@
 pipeline {
     agent {label 'msspec_agent_amd64'}
     stages {
-        stage('Initial setup...') {
+        stage('Building the code...') {
             steps {
-                echo 'Create or update the virtual Python environment'
-            }
-        }
-
-        stage('Build the code and generate tests results...') {
-            steps {
-                echo 'building..'
-            }
-        }
-        stage('Create a setup file...') {
-            steps {
-                echo 'creating Python pip file...'
-            }
-        }
-        stage('Test installation...') {
-            steps {
-                echo 'testing the install process...'
+                echo 'make devel'
             }
         }
         stage('Building HTML documentation...') {
             steps {
                 echo 'building HTML...'
+                source _venv/bin/activate && pip install sphinx lxml && cd doc && make html
             }
         }
         stage('Syncing website...') {