lets check this out #756

Merged
mohr merged 2 commits from switch-doc-theme-to-rtd into development 2023-10-25 11:06:23 +02:00

View File

@ -90,6 +90,7 @@ pipeline {
branch 'development' branch 'development'
} }
steps { steps {
sh 'pip install -r docs/requirements.txt'
dir(DOCDDIR) { dir(DOCDDIR) {
sh 'cmake -DFSFW_BUILD_DOCS=ON -DFSFW_OSAL=host ..' sh 'cmake -DFSFW_BUILD_DOCS=ON -DFSFW_OSAL=host ..'
sh 'make Sphinx' sh 'make Sphinx'
@ -109,6 +110,7 @@ pipeline {
branch 'master' branch 'master'
} }
steps { steps {
sh 'pip install -r docs/requirements.txt'
dir(DOCDDIR) { dir(DOCDDIR) {
sh 'cmake -DFSFW_BUILD_DOCS=ON -DFSFW_OSAL=host ..' sh 'cmake -DFSFW_BUILD_DOCS=ON -DFSFW_OSAL=host ..'
sh 'make Sphinx' sh 'make Sphinx'