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...') {