Joost Verburg wrote: > When an external application needs to be checked to enable a feature, > like the pdftools here or the dtl tools for DVI files, that can only be > done in configure.py.
It is important IMO that configure.py is not modified by the installer. If checking in configure.py is necessary it should be done in the original version that we distribute in the source package. Georg
