#!/bin/csh -f

umask 22

set giffile = "inlines/"$1:r".gif"
set gzfile = $1".gz"

echo quit | gs -sDEVICE=ppmraw -sOutputFile=dum -r36 $1
pnmscale .5 dum > dums
ppmquant 32 dums > dumq
ppmtogif dumq > $giffile
/bin/rm dum dumq dums

echo " "
echo "gzipping file " $1
gzip $1


chmod ugo+r  $gzfile $giffile
ls -tl  $gzfile $giffile







