>>>>> Christopher Faylor writes:
> You don't need to do this. I went to great effort to make sure that this
> gets added automatically to the setup.ini entry of anything which uses
> info files.
Well, gmp-4.1.3-3 for example has info files, but they definitly do not
show up in my dir file after installation.
> I see that the usage has crept into a bunch of setup.hint files. I've
> nuked these instances.
> cgf
Ciao
Volker
