4 if [ ! -f "$DOCBOOK_CATALOG" ] ; then
5 echo "CATALOG file not set up; see installation guide for details."
11 # Dave Mason's option to specify a different stylesheet
18 echo "Using stylesheet: \"${DB_STYLESHEET}\""
22 echo "Usage: `basename $0` [filename.sgml]" >&2
30 echo Cannot read \"$1\". Exiting. >&2
33 if echo $1 | egrep -i '\.sgml$|\.sgm$' >/dev/null 2>&1
35 output="`echo $1 | sed 's,\.sgml$,.rtf,;s,\.sgm$,.rtf,'`"
39 cat $* | $JADE -t rtf -d ${DB_STYLESHEET}\#print -c $DOCBOOK_CATALOG
43 mv jade-out.rtf $output