Converting MNG or GIF to video? [solved]
I hope I'm not asking for the impossible. In fact, I've seen some freeware non-freedomware which can do this sort of thing, but I'd like to do it on GNU/Linux. Basically, I have an animation in GIF and MNG and would like to convert this to a proper video like Theora (OGM) or ffmpeg (AVI, MPEG etc.) and such.
Is this anyhow possible? I've searched a bit and imagemagick has a convert command, but it seems to be able to convert only between image formats.
Perhaps ffmpeg has something for mng?