foreman/start-manual.sh: Use exec

This commit is contained in:
Eelco Dolstra 2022-04-13 13:58:00 +02:00
parent 3246bb6807
commit 262a6027e1

View file

@ -1,6 +1,6 @@
#!/bin/sh #!/bin/sh
mdbook serve \ exec mdbook serve \
--port 63332 \ --port 63332 \
--dest-dir ./.hydra-data/manual \ --dest-dir ./.hydra-data/manual \
./doc/manual/ ./doc/manual/