#!/bin/csh -f

set list = ( *.pgm *.ppm )

foreach file ( $list )
  set newFile = $file:r
  convert $file ${newFile}.gif
end