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

[Pierre Muller]

> De : gdb-patches-owner@sourceware.org
[mailto:gdb-patches-owner@sourceware.org] De la part de Tom Tromey
> Envoyé : jeudi 1 novembre 2012 20:58
> À : Pierre Muller
> Cc : 'Sergio Durigan Junior'; 'Joel Brobecker'; gdb-patches@sourceware.org
> Objet : Re: [RFA-v5] Add scripts to generate ARI web pages to
gdb/contrib/ari directory

>>>>> "Pierre" == Pierre Muller <pierre.muller@ics-cnrs.unistra.fr> writes:

> Pierre>   may I consider that, as only two persons replied, that it is 
> Pierre> OK to check version 5 in?

> Please go ahead.

Thank you for the approval,
I checked the files in 
http://sourceware.org/ml/gdb-cvs/2012-11/msg00003.html

and already sent two 
new RFA concerning problems related to the use of these
files.

Pierre Muller