diff options
| -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 |