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
1 changed files with 2 additions and 0 deletions

View File

@ -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'