Re: [RFC] Add ARI directory to gdb sources

[Sergio Durigan Junior <sergiodj@redhat.com>]

On Wednesday, May 16 2012, Joel Brobecker wrote:

>>   But after looking at the suggestion, it appears that you can't just
>>   use gdb_ari.sh alone, the update-web-ari script also uses
>>   gdb_find.sh script for instance, and a modified version of this
>>   update-web-air should probably also be added.
>
> Here's what I think: Everything that generates is required to generate
> the HTML code should be moved to the GDB directory. gdb/ari/ seems
> fine to me, but others might want to comment. Unless the location
> is critical to the implementation, which I hope it won't be, you
> can start working on the move and submit patches. It should be
> relatively easy to change the names if other suggestions appear.

Pierre showed up in IRC and mentioned that someone suggested
`gdb/contrib'.  I could not find the thread/message, but I support this
idea FWIW.  `gdb/contrib/ari' would be good, then.

My rationale is that ARI is not part of GDB as a program nor distributed
with it, so creating `gdb/ari' would perhaps confuse people because
there are other directories there like `gdb/mi' or `gdb/cli'.

My 2 cents.

-- 
Sergio