Re: Merging bignum to master

[Tom Tromey]

>>>>> "Paul" == Paul Eggert <address@hidden> writes:

Paul> That being said, the distinction between --with-FOO and --enable-FOO
Paul> has long been a confusing area of the GNU coding standards -- as
Paul> witnessed by the other packages you're thinking about.

I find it pretty hard to guess if a given option is --with or --enable,
and normally if I do guess, I pick the wrong one.  So I've thought for a
while now that autoconf should simply treat them identically and this
subtle distinction be erased.

Tom