projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2002-02-13 19:43:46 by sof]
[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
b657ae4
..
a5478aa
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
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
# Dave Mason's option to specify a different stylesheet
case $1 in
-d) DB_STYLESHEET=$2
@@
-31,17
+35,20
@@
then
fi
fi
fi
fi
-$JADE -t tex -d ${DB_STYLESHEET}\#print -o ${output}.tex -c $DOCBOOK_CATALOG $1
+$JADE -t tex -d ${DB_STYLESHEET}\#print -o ${output}.tex $CATALOG_OPTION $1
-pdfjadetex ${output}
+jadetex ${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
if egrep '^LaTeX Warning: There were undefined references.$' ${TMPFN}.log >/dev/null 2>&1
then
- pdfjadetex ${output}
- pdfjadetex ${output}
+ jadetex ${output}
+ jadetex ${output}
fi
fi
+dvips ${output}.dvi ${output}.ps
+ps2pdf ${output}.ps ${output}.pdf
+
# clean out
rm -f ${output}.log
rm -f ${output}.aux
# clean out
rm -f ${output}.log
rm -f ${output}.aux