fa9dcd6497a972bfc9aa1e62e1f8dad3468c1f5f
[ghc-hetmet.git] / glafp-utils / docbook / db2dvi.dir / db2dvi.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 # Dave Mason's option to specify a different stylesheet
10 case $1 in
11     -d) DB_STYLESHEET=$2
12         shift 2
13         ;;
14 esac
15
16 echo "Using stylesheet: \"${DB_STYLESHEET}\""
17
18 if [ $# -gt 2 ]
19 then
20   echo "Usage: `basename $0` [filename.sgml]" >&2
21   exit 1
22 fi
23
24 if [ $# -eq 1 ]
25 then
26   if [ ! -r $1 ]
27   then
28     echo Cannot read \"$1\".  Exiting. >&2
29     exit 1
30   fi
31   if echo $1 | egrep -i '\.sgml$|\.sgm$' >/dev/null 2>&1
32   then
33     output="`echo $1 | sed 's,\.sgml$,.dvi,;s,\.sgm$,.dvi,'`"
34   fi
35 fi
36
37 echo OUTPUT FILE NAME IS $output
38
39 TMPFN=`echo $1 | sed 's/\.sgml//'`
40
41 $JADE -t tex -d ${DB_STYLESHEET}\#print -o ${TMPFN}.tex -c $DOCBOOK_CATALOG $1
42
43 jadetex ${TMPFN}.tex
44
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
47 then
48     jadetex ${TMPFN}.tex
49     jadetex ${TMPFN}.tex
50 fi
51
52 exit 0