From 72cc9d78b0dbbf5b01d7ed680084d8d3f27bae55 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Thu, 19 Oct 2023 02:49:26 +0200
Subject: [PATCH] set -e for compilation script

---
 scripts/compile_doc.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/compile_doc.sh b/scripts/compile_doc.sh
index 759a6d6..706bb88 100755
--- a/scripts/compile_doc.sh
+++ b/scripts/compile_doc.sh
@@ -1,5 +1,8 @@
 #! /bin/bash
 # Compiles all documentation files in repository
+
+set -e
+
 BUILD_COMMAND="latexmk -output-directory=$(pwd)/.compile $1"
 
 find doc -type f -name "*.tex" -execdir sh -c "$BUILD_COMMAND" -- {} \;