From e925b8595cc098627a87e55e0d87bdc4da0bdc1d Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Wed, 25 Oct 2023 11:04:19 +0200
Subject: [PATCH] lets check this out

---
 automation/Jenkinsfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index 0f7bdb9f7..94df71470 100644
--- 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'