Peter Eisentraut <peter_e@gmx.net> writes:
> jacek writes:
>> [wolk@Lucutus postgresql-7.3.4]$ ./configure --infodir=/usr/share/info
>> configure: error: unrecognized option: --infodir=/usr/share/info
>> Try `./configure --help' for more information.
> There is no info documentation, so you don't need this option.
Someone was complaining about this just recently. We don't need the
option and don't have it implemented, but configure --help advertises
it anyway (and fails to advertise the --docdir option that we do have).
Can that be fixed?
regards, tom lane
