--without-local-prefix Does Not Work

[Todd Vierling]

On Wed, 9 Sep 1998, Jeffrey A Law wrote:

:   b. --with-local-prefix=no   which gives you the default value.

: Specifying "no" does not disable the use of local_prefix, nor should
: it.  The fact that it did so in earlier snapshots/releases was a bug.

Why is this a `bug' and why is it so difficult to convince you that some
users WANT to keep /usr/local/include out of the include search path?
(Myself included.)

--with-local-prefix=no is actually a bug, as it runs against the grain of
what --with-*=no/--without-* options are supposed to do:  _disable_
features.

-- 
-- Todd Vierling (Personal tv@pobox.com; Bus. todd_vierling@xn.xerox.com)