| http://www.w3.org/ns/prov#value | - You could create an image with all the files you want with imgburn, then you will see how big it is and you can burn it on DVD. Normally there should be no difference between the normal file size and the file size on DVD, due most DVD players are able to play most media types without any conversion.
|