#! /bin/csh -f
# File  ppmztopgm
# Last modified on Mon Jun  1 15:49:04 PDT 1992 by stolfi
#================================================
if ( ! ( -e "$1.ppm.Z" ) ) then
  echo "$1.ppm.Z not found"
  exit 1
endif
cat $1.ppm.Z | uncompress -c | ppmtopgm > $1.pgm
ls -l $1.ppm.Z $1.pgm