Am Samstag, 20. Mai 2006 10:32 schrieb Joost Verburg:
> configure.py should be updated to add the entires for clean_dvi on 
> Windows. It however looks like new copies of graphics files are created 
> when I use File>Export>DVI, is that a bug?

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.
If you mean something else please explain.


Georg

Reply via email to