by Azerthoth » Mon May 05, 2008 2:31
Both mandvd and devede will take pretty much any input file and convert and either make an iso file or just give you the option to burn right to dvd. there is also command line, transcode or ffmpeg will do, vlc has output options as well.
The list of things that will do it is staggering.