Thanks to Sergio for his remarks,
in this new version, I only added the changes
which are really required in order to be able to run
the script.

  The patch should apply cleanly using
patch -p 0 -I ari.patch at 
src/gdb directory level and create new scripts in
gdb/contrib./ari directory.

  The two changes I included are:
1) Fix aridir location in update-web-ari.sh script.
2) export AWK in update-web-ari.sh script and use this variable
inside gdb_ari.sh.

As explained in my answer to Sergio, I would like to 
leave other fixes to after initial commit to 
have a better history of changes relative to the
ss directory version on sourceware.org server.


Pierre Muller

PS: could contrib get a separate ChangeLog file?


ChangeLog entry:

2012-05-28  Pierre Muller  <muller@ics.u-strasbg.fr>

	* 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.