Here is a new version of my patch to
insert ARI web page generation script into
GDB sources.

  As requested I removed the references to emails
for sourceware.
  Otherwise I also made a small change to 
generate the web page in a subdir
called trunk/ari
if no tag in found in CVS subdirectory
and branch/ari otherwise.

gdb/contrib./ChangeLog entry (New file)

2012-06-14  Pierre Muller  <muller@ics.u-strasbg.fr>

        Incorporate ARI web page generator into GDB sources.
        * ari/create-web-ari-in-src.sh: New file.
        * ari/gdb_ari.sh: New file.
        * ari/gdb_find.sh: New file.
        * ari/update-web-ari.sh: New file.


Pierre Muller