glafp-utils/docbook/db2pdf.dir/db2pdf.sh

   1 if [ ! -f "$DOCBOOK_CATALOG" ] ; then
   2   echo "CATALOG file not set up; see installation guide for details."
   3   exit 1
   4 fi
   5
   6 # Dave Mason's option to specify a different stylesheet
   7 case $1 in
   8     -d) DB_STYLESHEET=$2
   9         shift 2
  10         ;;
  11 esac
  12
  13 echo "Using stylesheet: \"${DB_STYLESHEET}\""
  14
  15 if [ $# -gt 2 ]
  16 then
  17   echo "Usage: `basename $0` [filename.sgml]" >&2
  18   exit 1
  19 fi
  20
  21 if [ $# -eq 1 ]
  22 then
  23   if [ ! -r $1 ]
  24   then
  25     echo Cannot read \"$1\".  Exiting. >&2
  26     exit 1
  27   fi
  28   if echo $1 | egrep -i '\.sgml$|\.sgm$' >/dev/null 2>&1
  29   then
  30     output="`echo $1 | sed 's,\.sgml$,,;s,\.sgm$,,'`"
  31   fi
  32 fi
  33
  34 # assumption: openjade and pdfjadetex is installed in the same dir.
  35 PDFJADETEX=`dirname $JADE`/pdfjadetex
  36
  37 $JADE -t tex -d ${DB_STYLESHEET}\#print -o ${output}.tex -c $DOCBOOK_CATALOG $1
  38
  39 ${PDFJADETEX} ${output}
  40
  41 # See if running pdfjadetex twice cures the problem.
  42 if egrep '^LaTeX Warning: There were undefined references.$' ${TMPFN}.log >/dev/null 2>&1
  43 then
  44   ${PDFJADETEX} ${output}
  45   ${PDFJADETEX} ${output}
  46 fi
  47
  48 # clean out
  49 rm -f ${output}.log
  50 rm -f ${output}.aux
  51 rm -f ${output}.tex
  52
  53 exit 0