diff --git a/document-generator/document-template/build b/document-generator/document-template/build index b98fc94..b3dfd8b 100755 --- a/document-generator/document-template/build +++ b/document-generator/document-template/build @@ -29,6 +29,8 @@ OUTFORMAT=${1:-pdf} NAME=${2:-root} +set -e + ROOT_NAME="root_$NAME" [ ! -f "$DIR/$ROOT_NAME.tex" ] && ROOT_NAME="root"