#! /bin/csh -f
# Last edited on 2003-10-12 12:36:40 by stolfi

set psfile = "$1"; shift

set name = "${psfile:r}"
set psfile = "${name}.ps"
set outfile = "${name}.ppm"

/usr/bin/gs \
  -sDEVICE=ppmraw -r150x150 \
  -sOutputFile="${outfile}" \
  -q -dNOPAUSE -dNOPLATFONTS \
  -- ${psfile} < /dev/null
  
xv "${outfile}"