From: rrt <unknown>
Date: Thu, 25 Oct 2001 14:50:00 +0000 (+0000)
Subject: [project @ 2001-10-25 14:50:00 by rrt]
X-Git-Tag: Approximately_9120_patches~696
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=32e87ecff1350bbc88acf01c9397e9af77a21233;p=ghc-hetmet.git

[project @ 2001-10-25 14:50:00 by rrt]
Tidy up after my assumption-busting.
---

diff --git a/glafp-utils/docbook/db2pdf.dir/db2pdf.sh b/glafp-utils/docbook/db2pdf.dir/db2pdf.sh
index 5fcfd7d..b657ae4 100644
--- a/glafp-utils/docbook/db2pdf.dir/db2pdf.sh
+++ b/glafp-utils/docbook/db2pdf.dir/db2pdf.sh
@@ -31,18 +31,15 @@ then
   fi
 fi
 
-# assumption: pdfjadetex is on the PATH
-PDFJADETEX=pdfjadetex
-
 $JADE -t tex -d ${DB_STYLESHEET}\#print -o ${output}.tex -c $DOCBOOK_CATALOG $1
 
-${PDFJADETEX} ${output}
+pdfjadetex ${output}
 
 # See if running pdfjadetex twice cures the problem.
 if egrep '^LaTeX Warning: There were undefined references.$' ${TMPFN}.log >/dev/null 2>&1
 then
-  ${PDFJADETEX} ${output}
-  ${PDFJADETEX} ${output}
+  pdfjadetex ${output}
+  pdfjadetex ${output}
 fi
 
 # clean out