projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[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
TMPFN=`echo $1 | sed 's/\.sgml//'`
# Dave Mason's option to specify a different stylesheet
@@
-28,7
+33,7
@@
then
fi
fi
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
pdf$JADEtex $TMPFN