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