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