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

[Alexandre Duret-Lutz]

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

 Gary> Salut Akim!
 Gary> Akim Demaille wrote:
 >> build-aux is not absurd, it's just not standard to my eyes.  And
 >> if something else is different, then I believe that when djm
 >> introduced AC_CONFIG_AUX_DIR, it had to be read as AC  CONFIG_AUX_DIR,
 >> not AC  CONFIG   AUX_DIR, i.e., I believe CONFIG is a name, not
 >> a verb.  So config-aux is more coherent, but longer, and with
 >> a dash in it.

config-aux/ dir is coherent with how this directory was used 10 years ago.

djm indeed called this the directory for "configuration auxiliary files".

This is no longer the only purpose of this directory nowadays,
keeping this sense is misleading.

 Gary> FWIW, I'm right with you here.  I think that using build
 Gary> as part of build-aux is potentially confusing in light of
 Gary> the use of build, host and target elsewhere in autoconf
 Gary> terminology.

Why is this confusing?  These files are precisely used on the
build machine, and during the build.
-- 
Alexandre Duret-Lutz