From 262a6027e132b6350821dcfdd89efd6cb2771b22 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <edolstra@gmail.com>
Date: Wed, 13 Apr 2022 13:58:00 +0200
Subject: [PATCH] foreman/start-manual.sh: Use exec

---
 foreman/start-manual.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/foreman/start-manual.sh b/foreman/start-manual.sh
index b0ad1b8e..6d243e1b 100755
--- a/foreman/start-manual.sh
+++ b/foreman/start-manual.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-mdbook serve \
+exec mdbook serve \
   --port 63332 \
   --dest-dir ./.hydra-data/manual \
   ./doc/manual/