Re: [bug-gnulib] aux-dir name - result

[Paul Eggert]

"Gary V. Vaughan" <address@hidden> writes:

> I think the autoconf documentation should reflect reality -- config
> is the commonly used name

But it won't be, if all the people who voted to change it to build-aux
in fact make that change.  I too have my reservations about build-aux
but the arguments against "config" were fairly strong.  Let's see how
things turn out before changing it back.