5 # Dave Mason's option to specify a different stylesheet
12 echo "Using stylesheet: \"${DB_STYLESHEET}\""
16 echo "Usage: `basename $0` [filename.sgml]" >&2
24 echo Cannot read \"$1\". Exiting. >&2
27 if echo $1 | egrep -i '\.sgml$|\.sgm$' >/dev/null 2>&1
29 output="`echo $1 | sed 's,\.sgml$,.rtf,;s,\.sgm$,.rtf,'`"
33 cat $* | jade -t rtf -d ${DB_STYLESHEET}\#print
37 mv jade-out.rtf $output