[cm2187]

If you start from .png files I struggled to get ffmpeg to produce a high quality gif, and had much more luck with imagemagick.