#! /bin/csh -f

# create mpeg film from a several .gif frames files

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