FFmpeg: Convert gif to mp4.

There is a guide on the FFMpeg track site that describes how to create a video from a sequence of images.

One command extracted from that guide:

ffmpeg -framerate 1/5 -i img%03d.png -c:v libx264 -r 30 -pix_fmt yuv420p out.mp4

ffmpeg -f gif -i infile.gif outfile.mp4

Another command:

ffmpeg -i infile.gif -c:v libvpx -crf 12 -b:v 500K outfile.mp4