Converting gifs to MPEG, via one means or another...

[strandwg@xxxxxxxx (Gary Strand)]

I've got a sequence of 3000 gifs (250 years * 12 months/year) of FERRET gif87
files that I'd like to convert to an MPEG, preferably MPEG-2.

I've tried 'yuvconvert' and it's old and creaky and slow and it doesn't work
to boot.

I'm not tied to Unix tools - I've got a Wintel2000 box I can use; does anyone
have any ideas?

Thanks!
--
/\        Gary Strand (303) 497-1336                                NCAR ML262A
  \_][    www.cgd.ucar.edu/ccr/strandwg                      1850 Table Mesa Dr
      \___strandwg@ucar.edu                       Boulder, Colorado, USA  80305