#! /bin/csh -f

# create mpeg film from a several .gif frames files

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