From 72cde065d6137fac1065c9b781472a5c1cb0d7d5 Mon Sep 17 00:00:00 2001
From: Jim Blandy <jimb@codesourcery.com>
Date: Thu, 30 Aug 2001 23:57:06 +0000
Subject: [PATCH] *** empty log message ***

---
 gdb/doc/ChangeLog | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 1a2a5caef0e..8ecf7796fb5 100644
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,3 +1,8 @@
+2001-08-28  Jim Blandy  <jimb@redhat.com>
+
+	* gdbint.texinfo: Bring the HTML `top' menu into sync with the
+	info `top' menu.
+
 Wed Aug 15 10:47:28 2001  Christopher Faylor <cgf@cygnus.com>
 
 	* gdbint.texinfo: Add a cautionary note about macro use.
-- 
2.30.2