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

[Joel Brobecker]

Sorry about the delay, Pierre,

>   Joel made some suggestions about changing create-web-ari-in-src.sh
> in order to create all files directly in the same directory,
                                               ^^^^ current working
> but these script generate a lot of "useless" files
> and having them together with the cvs files still worries me.

I think we should make sure that these scripts are callable from
out-of-tree, just the same way we can build GDB out-of-tree (which
is the recommended way to building a lot the GNU software).

But I'm fine with the current version. Let's make progress rather
than bikeshedding further :).

> 2012-09-27  Pierre Muller  <muller@ics.u-strasbg.fr>
> 
>         Incorporate ARI web page generator into GDB sources.
>         * contrib/ari/create-web-ari-in-src.sh: New file.
>         * contrib/ari/gdb_ari.sh: New file.
>         * contrib/ari/gdb_find.sh: New file.
>         * contrib/ari/update-web-ari.sh: New file.

OK for me. I'm not sure if anyone else want to comment before
we go ahead?

-- 
Joel