diff --git a/Jenkinsfile b/Jenkinsfile index 3cb885c..74d5d50 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,6 +5,7 @@ pipeline { agent any steps { sh 'pip install sphinx' + sh 'pip install pydata-sphinx-theme' sh 'mkdir -p docs/_build' } }