Re: auxdir now?

[Paul Eggert]

> From: Akim Demaille <[EMAIL PROTECTED]>
> User-Agent: Gnus/5.0808 (Gnus v5.8.8) XEmacs/21.1 (Cuyahoga Valley)
> 
> I'm for config/.

No name is likely to achieve universal consensus, but "config" works
for me.