diff options
Diffstat (limited to '')
-rwxr-xr-x | scripts/latexify-source.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/latexify-source.sh b/scripts/latexify-source.sh index c899a1b..a8fd1fe 100755 --- a/scripts/latexify-source.sh +++ b/scripts/latexify-source.sh @@ -1,6 +1,6 @@ #!/bin/bash -set -xeu +set -eu targetfile="$(realpath -- build/iadocs/source.gen)" |