try the berkley mpeg tools
http://bmrc.berkeley.edu/frame/research/mpeg/index.html or as adebian package http://packages.debian.org/unstable/graphics/ucbmpeg.html
ulrich
On Wed, 13 Mar 2002, Bill Sack wrote:
also, how do people turn this series of .tifs into, say, an .mpg or .mov? i'm on linux usually, but can do nt if that's necessary.