#! /bin/csh -f

# creates an encapsulated postscript file from a ppm file

set usage = "$0 FILE.ppm"

if ( $#argv != 1) then
  echo "usage: $usage"; exit 1
endif

set inppm = "$1"; shift

cat ${inppm} \
  | ppmtopgm \
  | pnmtops -noturn -dpi 600 \
  > ${inppm:r}.eps

exit 0