`info user' => `show user'. Noticed by David Taylor.

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 454abe4..ecdc61b 100644 (file)
--- 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 a11134c..7b0cfe8 100644 (file)
--- 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.