1 if [ ! -f "$DOCBOOK_CATALOG" ] && [ ! -f "$SGML_CATALOG_FILES" ] ; then
2 echo "CATALOG file not set up; see installation guide for details."
6 if [ -f "$DOCBOOK_CATALOG" ] ; then
7 CATALOG_OPTION="-c $DOCBOOK_CATALOG"
10 # Dave Mason's option to specify a different stylesheet
17 echo "Using stylesheet: \"${DB_STYLESHEET}\""
21 echo "Usage: `basename $0` [filename.sgml]" >&2
29 echo Cannot read \"$1\". Exiting. >&2
32 if echo $1 | egrep -i '\.sgml$|\.sgm$' >/dev/null 2>&1
34 output="`echo $1 | sed 's,\.sgml$,,;s,\.sgm$,,'`"
38 $JADE -t tex -d ${DB_STYLESHEET}\#print -o ${output}.tex $CATALOG_OPTION $1
42 # See if running jadetex twice cures the problem.
43 if egrep '^LaTeX Warning: There were undefined references.$' ${TMPFN}.log >/dev/null 2>&1
49 dvips ${output}.dvi ${output}.ps
50 ps2pdf ${output}.ps ${output}.pdf