changeset 4:bebb2ba69e1d

maybe help with getting tex to fail properly on error
author David A. Holland
date Sat, 18 Apr 2020 17:12:17 -0400
parents e23ad76d0588
children 7661c1604e49
files doc/manual/buildguide.sh
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/doc/manual/buildguide.sh	Sun Apr 26 18:23:33 2009 -0400
+++ b/doc/manual/buildguide.sh	Sat Apr 18 17:12:17 2020 -0400
@@ -10,6 +10,12 @@
 TEXINPUTS=".:${SRCDIR}:"
 export TEXINPUTS
 
+trap cleanup INT
+cleanup() {
+    rm -f usersguide.pdf
+    exit 1
+}
+
 touch usersguide.ind
 rm -f 'usersguide.ind}'
 ln -s 'usersguide.ind' 'usersguide.ind}'