From 81a9584dc4814a8212441e7c38d261f32dd66a91 Mon Sep 17 00:00:00 2001
From: Robin Mueller <robin.mueller.m@gmail.com>
Date: Thu, 21 Sep 2023 19:50:13 +0200
Subject: [PATCH] forgot the shell wrapper

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

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index 230dbba..937fea1 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -64,7 +64,7 @@ pipeline {
       }
       steps {
         dir('satrs-book') {
-          mdbook build
+          sh 'mdbook build'
           sshagent(credentials: ['documentation-buildfix']) {
             // Deploy to Apache webserver
             sh 'rsync -r --delete book/ buildfix@documentation.irs.uni-stuttgart.de:/projects/sat-rs'