Re: [patch] Windows: Improved Font Loading

[Joost Verburg]

Georg Baum wrote:
What do you mean by new copies of graphics files? If you mean that 
the .eps files from the temp dir with mangled names are copied to the 
document directory: This is intended behaviour and no bug. The .eps files 
are required for the dvi, and we use the mangled ones since it was too 
difficult to create the dvi with the original names.

Right. Then I don't understand the reason why we have clean_dvi, it 
always seems to work without it.

Joost