Assuming you have created a lot of .png files and would like to encode a .mpeg, .avi or othervideo format, a number of solutions are known:The DiVX encoder using mplayer/mencoder? There’s binaries for Unix and Windows. It makesrather nice compression on a 800x600 (probably higher). ...