22 lines
660 B
Diff
22 lines
660 B
Diff
--- 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
|