diff options
| author | Tom Tromey <tom@tromey.com> | 2018-09-08 09:03:29 -0600 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2018-09-10 07:44:23 -0600 |
| commit | 088a96da059ce14fe1dff369873b1dcf7151e29a (patch) | |
| tree | aab02cfdc7390efea39ac3d9eca2d0523539203f | |
| parent | 22eb9e92ea9b5fd1ed83cfc093d7da6d18643149 (diff) | |
| download | gdb-088a96da059ce14fe1dff369873b1dcf7151e29a.zip gdb-088a96da059ce14fe1dff369873b1dcf7151e29a.tar.gz gdb-088a96da059ce14fe1dff369873b1dcf7151e29a.tar.bz2 | |
Fix typo in pretty-printer example
PR python/23487 points out that the "disable pretty-printer" example
has a typo that makes it incorrect. This patch fixes the typo.
gdb/doc/ChangeLog
2018-09-10 Tom Tromey <tom@tromey.com>
PR python/23487:
* gdb.texinfo (Pretty-Printer Commands): Fix typo in example.
| -rw-r--r-- | gdb/doc/ChangeLog | 5 | ||||
| -rw-r--r-- | gdb/doc/gdb.texinfo | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index cf427ff..f266f75 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,5 +1,10 @@ 2018-09-10 Tom Tromey <tom@tromey.com> + PR python/23487: + * gdb.texinfo (Pretty-Printer Commands): Fix typo in example. + +2018-09-10 Tom Tromey <tom@tromey.com> + PR python/16033: * python.texi (Blocks In Python): Document that Block.end is exclusive. diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 8ebbe5f..f479fef 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -10798,7 +10798,7 @@ library2.so: bar bar1 bar2 -(gdb) disable pretty-printer library2 bar:bar1 +(gdb) disable pretty-printer library2 bar;bar1 1 printer disabled 1 of 3 printers enabled (gdb) info pretty-printer library2 |