#! /bin/csh -f
# File  ppmztogif
# Last modified on Mon Jun  1 15:32:26 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 | ppmtogif > $1.gif
ls -l $1.ppm.Z $1.gif