Re: FYI: depout.m4 adjustment for post-processed Makefile.ins

>>> "Tom" == Tom Tromey <tromey@xxxxxxxxxx> writes:

[...]

 Tom> I was undecided whether I should start using the new
 Tom> naming scheme ("am--distclean-dejagnu") or whether to keep
 Tom> using the old scheme and just plan a big rename in the
 Tom> future.

I'm all for doing a "big rename party" in the future, once the
activity on branch-1-6 has lessened.

[...]
-- 
Alexandre Duret-Lutz