Merge pull request 'lets check this out' (#756) from switch-doc-theme-to-rtd into development

Reviewed-on: #756
2023-10-25 11:06:23 +02:00 · 2023-10-25 11:06:23 +02:00 · 5dd4f15b39
commit 5dd4f15b39
parent c5bf5389b8 b5a3c0226e
1 changed files with 2 additions and 0 deletions
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@ -90,6 +90,7 @@ pipeline {
                branch 'development'
            }
            steps {
+                sh 'pip install -r docs/requirements.txt'
                dir(DOCDDIR) {
                    sh 'cmake -DFSFW_BUILD_DOCS=ON -DFSFW_OSAL=host ..'
                    sh 'make Sphinx'
@ -109,6 +110,7 @@ pipeline {
                branch 'master'
            }
            steps {
+                sh 'pip install -r docs/requirements.txt'
                dir(DOCDDIR) {
                    sh 'cmake -DFSFW_BUILD_DOCS=ON -DFSFW_OSAL=host ..'
                    sh 'make Sphinx'