From: sof <unknown>
Date: Mon, 7 May 2001 16:19:36 +0000 (+0000)
Subject: [project @ 2001-05-07 16:19:36 by sof]
X-Git-Tag: Approximately_9120_patches~1983
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=11e3e5747e70d4aa1e2507a14d55d3757249995a;p=ghc-hetmet.git

[project @ 2001-05-07 16:19:36 by sof]
couple of bugfixes to make the script do its thing
---

diff --git a/glafp-utils/docbook/db2pdf.dir/db2pdf.sh b/glafp-utils/docbook/db2pdf.dir/db2pdf.sh
index 40a6d69..47f8e07 100644
--- a/glafp-utils/docbook/db2pdf.dir/db2pdf.sh
+++ b/glafp-utils/docbook/db2pdf.dir/db2pdf.sh
@@ -3,8 +3,6 @@ if [ ! -f "$DOCBOOK_CATALOG" ] ; then
   exit 1
 fi
 
-TMPFN=`echo $1 | sed 's/\.sgml//'`
-
 # Dave Mason's option to specify a different stylesheet
 case $1 in
     -d) DB_STYLESHEET=$2
@@ -29,18 +27,27 @@ then
   fi
   if echo $1 | egrep -i '\.sgml$|\.sgm$' >/dev/null 2>&1
   then
-    output="`echo $1 | sed 's,\.sgml$,.pdf,;s,\.sgm$,.pdf,'`"
+    output="`echo $1 | sed 's,\.sgml$,,;s,\.sgm$,,'`"
   fi
 fi
 
-$JADE -t tex -d ${DB_STYLESHEET}\#print -o ${TMPFN}.tex -c $DOCBOOK_CATALOG $1
+# assumption: openjade and pdfjadetex is installed in the same dir.
+PDFJADETEX=`dirname $JADE`/pdfjadetex
+
+$JADE -t tex -d ${DB_STYLESHEET}\#print -o ${output}.tex -c $DOCBOOK_CATALOG $1
 
-pdf$JADEtex $TMPFN
+${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 $TMPFN
-  pdfjadetex $TMPFN
+  ${PDFJADETEX} ${output}
+  ${PDFJADETEX} ${output}
 fi
 
+# clean out 
+rm -f ${output}.log
+rm -f ${output}.aux
+rm -f ${output}.tex
+
 exit 0