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" -- {} \;