Peter Eisentraut <[EMAIL PROTECTED]> writes:
> jacek writes:
>> [EMAIL PROTECTED] 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

---------------------------(end of broadcast)---------------------------
TIP 1: subscribe and unsubscribe commands go to [EMAIL PROTECTED]

Reply via email to