PDF2PS converts a PDF file to PostScript

#!/bin/sh
# PDF2PS converts a PDF file to PostScript.

OPTIONS=""

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

if [ $# -ne 2 ]; then
  echo "Usage: `basename $0` [-dPSBinaryOK] [-dPSLevel1] [-dPSNoProcSet] \
    input.pdf output.ps" 1>&2
  exit 1
fi
#
#  Replace "/home/ghost/bin/axp/gs510" by the correct path for GhostScript.
#
exec /home/ghost/bin/axp/gs510 -q -dNODISPLAY -sPSFile=$2 -dNOPAUSE \
  $OPTIONS $1 -c quit

http://people.scs.fsu.edu/~burkardt/g_src/pdf2ps/pdf2ps