[project @ 2000-07-11 16:24:57 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 2d0b4cc..40a6d69 100644 (file)
--- a/glafp-utils/docbook/db2pdf.dir/db2pdf.sh
+++ b/glafp-utils/docbook/db2pdf.dir/db2pdf.sh
@@ -1,3 +1,8 @@
+if [ ! -f "$DOCBOOK_CATALOG" ] ; then
+  echo "CATALOG file not set up; see installation guide for details."
+  exit 1
+fi
+
 TMPFN=`echo $1 | sed 's/\.sgml//'`
 
 # Dave Mason's option to specify a different stylesheet
@@ -28,7 +33,7 @@ then
   fi
 fi
 
-$JADE -t tex -d ${DB_STYLESHEET}\#print -o ${TMPFN}.tex $1
+$JADE -t tex -d ${DB_STYLESHEET}\#print -o ${TMPFN}.tex -c $DOCBOOK_CATALOG $1
 
 pdf$JADEtex $TMPFN