4 if [ ! -f "$DOCBOOK_CATALOG" ] ; then
5 echo "CATALOG file not set up; see installation guide for details."
9 # Dave Mason's option to specify a different stylesheet
16 echo "Using stylesheet: \"${DB_STYLESHEET}\""
20 echo "Usage: `basename $0` [filename.sgml]" >&2
28 echo Cannot read \"$1\". Exiting. >&2
31 if echo $1 | egrep -i '\.sgml$|\.sgm$' >/dev/null 2>&1
33 output="`echo $1 | sed 's,\.sgml$,.dvi,;s,\.sgm$,.dvi,'`"
37 echo OUTPUT FILE NAME IS $output
39 TMPFN=`echo $1 | sed 's/\.sgml//'`
41 $JADE -t tex -d ${DB_STYLESHEET}\#print -o ${TMPFN}.tex -c $DOCBOOK_CATALOG $1
45 # if there are unresolved references, re-run jadetex, twice
46 if egrep '^LaTeX Warning: There were undefined references.$' ${TMPFN}.log >/dev/null 2>&1