Create a Video Using DeVeDe
DeVeDe is a CD/DVD creator package for Linux. In Ubuntu sudo apt-get install devede, this will install the package.
Run the program in Gnome by selecting Applications -> Sound & Video -> DeVeDe CD/DVD Creator.
In the program I chose Video DVD. Changed the title by right-clicking on Title. Add the video vob file from the mini DVD source. In the advanced options I chose "FMMpeg deinterlacing filter" as I found that using the default "Don't deinterlace" gave horrible comb effects when the video was playing. The final file created by DeVeDe is an iso file that can be burned on a DVD using K3b.