>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:
Georg> Then clean_dvi script could also be used on other platforms Georg> than windows. I think that it should be included in the main Georg> distribution if configure.py knows about it. Therefore I moved Georg> it in lib/scripts and adjusted Angus' scripts. Note that clean_dvi is not very useful without dt2dv and dv2dt... Isn't there a risk of producing a non-functional distribution? JMarc
