# HG changeset patch
# User David A. Holland
# Date 1587244337 14400
# Node ID bebb2ba69e1dd1c41b3539c3aca4e36ae4d1a282
# Parent  e23ad76d05888fa2e49237a2fa9ff6578736d973
maybe help with getting tex to fail properly on error

diff -r e23ad76d0588 -r bebb2ba69e1d doc/manual/buildguide.sh
--- 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}'