diff options
author | John Gilmore <gnu@cygnus> | 1992-05-12 19:23:32 +0000 |
---|---|---|
committer | John Gilmore <gnu@cygnus> | 1992-05-12 19:23:32 +0000 |
commit | 4768ba62b8b29173c0c5d1f868188555672c127f (patch) | |
tree | dfa96702f97d3fc474c12e1d064a8957801113ab /gdb/doc | |
parent | f6eaba83957e3bdfd5967ea8abcdec0ad5f4832c (diff) | |
download | gdb-4768ba62b8b29173c0c5d1f868188555672c127f.zip gdb-4768ba62b8b29173c0c5d1f868188555672c127f.tar.gz gdb-4768ba62b8b29173c0c5d1f868188555672c127f.tar.bz2 |
`info user' => `show user'. Noticed by David Taylor.
Diffstat (limited to 'gdb/doc')
-rw-r--r-- | gdb/doc/ChangeLog | 4 | ||||
-rw-r--r-- | gdb/doc/gdb.texinfo | 6 |
2 files changed, 7 insertions, 3 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 454abe4..ecdc61b 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 a11134c..7b0cfe8 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. |