[project @ 2004-01-26 09:56:29 by simonmar]

[ghc-hetmet.git] / glafp-utils / docbook / db2pdf.dir / db2pdf.sh

diff --git a/glafp-utils/docbook/db2pdf.dir/db2pdf.sh b/glafp-utils/docbook/db2pdf.dir/db2pdf.sh
index 5fcfd7d..018e995 100644 (file)
--- a/glafp-utils/docbook/db2pdf.dir/db2pdf.sh
+++ b/glafp-utils/docbook/db2pdf.dir/db2pdf.sh
@@ -1,8 +1,12 @@
-if [ ! -f "$DOCBOOK_CATALOG" ] ; then
+if [ ! -f "$DOCBOOK_CATALOG" ] && [ ! -f "$SGML_CATALOG_FILES" ] ; then
   echo "CATALOG file not set up; see installation guide for details."
   exit 1
 fi
 
+if [ -f "$DOCBOOK_CATALOG" ] ; then
+  CATALOG_OPTION="-c $DOCBOOK_CATALOG"
+fi
+
 # Dave Mason's option to specify a different stylesheet
 case $1 in
     -d) DB_STYLESHEET=$2
@@ -31,20 +35,20 @@ then
   fi
 fi
 
-# assumption: pdfjadetex is on the PATH
-PDFJADETEX=pdfjadetex
+$JADE -t tex -d ${DB_STYLESHEET}\#print -o ${output}.tex $CATALOG_OPTION $1
 
-$JADE -t tex -d ${DB_STYLESHEET}\#print -o ${output}.tex -c $DOCBOOK_CATALOG $1
+jadetex ${output}
 
-${PDFJADETEX} ${output}
-
-# See if running pdfjadetex twice cures the problem.
+# See if running jadetex twice cures the problem.
 if egrep '^LaTeX Warning: There were undefined references.$' ${TMPFN}.log >/dev/null 2>&1
 then
-  ${PDFJADETEX} ${output}
-  ${PDFJADETEX} ${output}
+  jadetex ${output}
+  jadetex ${output}
 fi
 
+dvips ${output}.dvi ${output}.ps
+ps2pdf ${output}.ps ${output}.pdf
+
 # clean out 
 rm -f ${output}.log
 rm -f ${output}.aux