--- docbook-toys-1.51.0/db2x.sh.in.~1~	2007-06-04 15:22:08.000000000 +0200
+++ docbook-toys-1.51.0/db2x.sh.in	2007-06-04 15:24:13.000000000 +0200
@@ -455,13 +455,13 @@
   end=pdf
   gen_outfile
   echo pdf file name is "$output"
-  pdfjadetex "$texfile"
+  pdfjadetex "$texfile" || exit 1
   
   # if there are unresolved references, re-run pdfjadetex, twice
   if egrep '^LaTeX Warning: There were undefined references.$' "${outputlog}" >/dev/null 2>&1
   then
-      pdfjadetex "$texfile"
-      pdfjadetex "$texfile"
+      pdfjadetex "$texfile" || exit 1
+      pdfjadetex "$texfile" || exit 1
   fi
 } # do_pdf
 

Diff finished.  Mon Jun  4 15:24:34 2007