Angus Leeming wrote: > 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...
I don't think that it is a problem: These files are only generated in the temp dir, and the appropriate viewer is invoked with the full name. The dvi2 format is never used for exporting in my patch. Georg