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/gdb.texinfo | |
| 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/gdb.texinfo')
| -rw-r--r-- | gdb/doc/gdb.texinfo | 6 |
1 files changed, 3 insertions, 3 deletions
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. |