Georg Baum wrote:
The format must end with a number so that it is recognized as a "child" format (I don't like that magic, but it is implemented like that). I don't see a problem to have "dvi2" also as extension.
Having "dvi2 as an extension" might be a problem on Windows because Windows uses the extension to determine the file type. Ie, clicking on foo.dvi will open up the .dvi file inside of YAP but clicking on foo.dvi2 wouldn't. There's no such concept as magic numbers in Windows IIUC. Dunno if this is actually a problem of course...
Angus
