From 4768ba62b8b29173c0c5d1f868188555672c127f Mon Sep 17 00:00:00 2001
From: John Gilmore <gnu@cygnus>
Date: Tue, 12 May 1992 19:23:32 +0000
Subject: [PATCH] `info user' => `show user'.  Noticed by David Taylor.

---
 gdb/doc/ChangeLog   | 4 ++++
 gdb/doc/gdb.texinfo | 6 +++---
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 454abe47389..ecdc61be66f 100644
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,3 +1,7 @@
+Tue May 12 12:22:47 1992  John Gilmore  (gnu at cygnus.com)
+
+	* gdb.texinfo:  `info user' => `show user'.  Noticed by David Taylor.
+
 Mon May 11 19:06:27 1992  John Gilmore  (gnu at cygnus.com)
 
 	* gdb.texinfo:  Say how to read the `info' files.
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index a11134c996d..7b0cfe89fca 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -6821,9 +6821,9 @@ does not change the documentation.
 List all user-defined commands, with the first line of the documentation
 (if any) for each.
 
-@item info user
-@itemx info user @var{commandname}
-@kindex info user
+@item show user
+@itemx show user @var{commandname}
+@kindex show user
 Display the _GDBN__ commands used to define @var{commandname} (but not its
 documentation).  If no @var{commandname} is given, display the
 definitions for all user-defined commands.
-- 
2.30.2