Incorporate ARI web page generator into gdb_7_5-branch.

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

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index cf55f87d6cb60c033231acfc7b5b02524370f334..b27ecbb8f52ddd78d58f53c825efb7394a2fc57b 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,11 @@
+2012-12-11  Pierre Muller  <muller@ics.u-strasbg.fr>
+
+       Incorporate ARI web page generator into gdb_7_5-branch.
+       * 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.
+
 2012-11-29  Joel Brobecker  <brobecker@adacore.com>
 
        * version.in: Set version to 7.5.1.20121129-cvs.