From 074f07b1439dfaffefc322312d4c76d86ab6c5c0 Mon Sep 17 00:00:00 2001 From: Pierre Muller Date: Tue, 11 Dec 2012 15:42:09 +0000 Subject: [PATCH] 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. --- gdb/ChangeLog | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index cf55f87d6cb..b27ecbb8f52 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,11 @@ +2012-12-11 Pierre Muller + + 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 * version.in: Set version to 7.5.1.20121129-cvs. -- 2.47.2