#!/bin/csh -fb
# converts all pict files in current directory to gif
foreach afile (`ls *.pict`)
  echo converting $afile
  picttoppm $afile | ppmtogif > $afile:r.gif 
end