Re: aux directory name

[Paul Eggert]

Ralf Wildenhues <[EMAIL PROTECTED]> writes:

> I'm undecided whether it should be done at all, so I'll leave that
> decision to others.

I'd like to make this change, for consistency (after 2.60 of course).