diff options
Diffstat (limited to 'manual/appnotes.sh')
| -rwxr-xr-x | manual/appnotes.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/appnotes.sh b/manual/appnotes.sh index f816956ab..1160af6af 100755 --- a/manual/appnotes.sh +++ b/manual/appnotes.sh @@ -11,7 +11,7 @@ do fi old_md5=$([ -f $job.aux ] && md5sum < $job.aux || true) while - pdflatex -shell-escape -halt-on-error $job.tex + pdflatex -shell-escape -halt-on-error $job.tex || exit new_md5=$(md5sum < $job.aux) [ "$old_md5" != "$new_md5" ] do |