Re: libedit broke in head

Alvaro Herrera <alvherre@commandprompt.com> writes:
> I think the switches are confusing ... when you are using libedit, you
> certainly don't want readline as well, so it seems natural to disable
> it.  I understand that what --without-readline really does is turn the
> line-editing capability off in general rather than just readline, which
> is confusing.

The documentation could be improved perhaps:

$ ./configure --help | grep -i edit     --with-libedit-preferred  prefer BSD Libedit over GNU Readline
--without-readline     do not use GNU Readline / BSD Libedit line editing
 
$

ISTM the second line would be clearer if it read
 --without-readline      do not use GNU Readline nor BSD Libedit for editing

Also, we probably ought to see if we can make the libedit-preferred line
come out second.
        regards, tom lane