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

   1 # Dave Mason's option to specify a different stylesheet
   2 case $1 in
   3     -d) DB_STYLESHEET=$2
   4         shift 2
   5         ;;
   6 esac
   7
   8 if [ $# -gt 2 ]
   9 then
  10   echo "Usage: `basename $0` [filename.sgml]" >&2
  11   exit 1
  12 fi
  13
  14 output="`echo $1 | sed 's,\.sgml$,.ps,;s,\.sgm$,.ps,'`"
  15 outdvi="`echo $1 | sed 's,\.sgml$,.dvi,;s,\.sgm$,.dvi,'`"
  16 make $outdvi
  17 dvips $outdvi -o $output
  18
  19 exit 0