#!/bin/sh
# PS2PDF converts a PostScript file to PDF, using GhostScript.

OPTIONS=""

while true
do
  case "$1" in
  -*) OPTIONS="$OPTIONS $1" ;;
  *)  break ;;
  esac
  shift
done

if [ $# -lt 1 -o $# -gt 2 ]; then
  echo "Usage: `basename $0` [options...] input.ps [output.pdf]" 1>&2
  exit 1
fi

infile=$1;

if [ $# -eq 1 ]
then
  case "${infile}" in
    *.ps) base=`basename ${infile} .ps` ;;
    *) base=`basename ${infile}` ;;
  esac
  outfile=${base}.pdf
else
  outfile=$2
fi
#
#  Doing an initial 'save' helps keep fonts from being flushed between pages.
#
#  Replace "/home/ghost/bin/axp/gs510" by the correct path for GhostScript.
#
exec /home/ghost/bin/axp/gs510 -q -dNOPAUSE -dBATCH -sDEVICE=pdfwrite \
  -sOutputFile=$outfile $OPTIONS -c save pop -f $infile