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