fix typo

2019-09-26 15:34:01 +02:00 · 2019-09-26 15:34:01 +02:00 · e7fc0a4f10
commit e7fc0a4f10
parent 5a9016ccfc
1 changed files with 1 additions and 1 deletions
--- a/contrib/ci/Jenkinsfile
+++ b/contrib/ci/Jenkinsfile
@ -13,7 +13,7 @@ pipeline {
        }
        stage('docs') {
            steps {
-                sh' make -C docs html'
+                sh 'make -C docs html'
            }
        }
        stage('build') {