#! /bin/csh

if ( $#argv == 0  ) then
    echo "  >>>> '% gif2ppm -' converts *.gif to *.ppm."
else
set list = `ls *.gif`
foreach name ( $list)
	echo $name
	giftoppm $name > $name:r.ppm
end
endif
