>>>>> "Joost" == Joost Verburg <[EMAIL PROTECTED]> writes:
Joost> Jean-Marc Lasgouttes wrote: >> Thanks. The patch is in now. What else did you need? Joost> configure.py should be updated to add the entires for clean_dvi Joost> on Windows. It however looks like new copies of graphics files Joost> are created when I use File>Export>DVI, is that a bug? I do not know about this stuff, sorry. However, I do not think this should prevent you from showing us your brand new installer :) JMarc
