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/'
             }