diff --git a/Jenkinsfile b/Jenkinsfile
index b5f9c2f..baf511c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,12 +3,11 @@ pipeline {
     stages {
         stage('Building the code...') {
             steps {
-                echo 'make devel'
+		sh 'make devel'
             }
         }
         stage('Building HTML documentation...') {
             steps {
-                echo 'building 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"'
             }