#!/bin/csh
 
ppmtogif $1.ppm  >  $1.gif
