diff --git a/Jenkinsfile b/Jenkinsfile index 09f050e..3cb885c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,6 +5,7 @@ pipeline { agent any steps { sh 'pip install sphinx' + sh 'mkdir -p docs/_build' } } stage("Build") {