#! /bin/csh -f

# create mpeg film from a several .gif frames files

/usr/sbin/dmconvert -f mpeg1v -d -v \
  '5cell-front-####.gif' \
   5cell-front-net.mpeg