Re: [RFA-v3] Add scripts to generate ARI web pages to gdb/contrib/ari directory

Tom Tromey
2012-06-22T16:10:56Z

>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:

Pedro> I think it should. "contrib" is by definition a space for third party
Pedro> contributed sources that we ship along, ergo not really part of GDB,
Pedro> unlike the cli, mi, or tui, regformats, etc. subdirectories.

I very strongly dislike ChangeLog proliferation. I don't see any
benefit in multiple ChangeLogs, but several disadvantages. For example,
they make more work when submitting patches that span directories. And,
they are actually less clear in this situation, because the relevant
bits of a patch are described in multiple places. (This alone makes the
git log more useful than ChangeLog...)

Tom