[binutils-gdb] gdb/doc: use @value{GDBP} in 'info pretty-printer' example

[binutils-gdb] gdb/doc: use @value{GDBP} in 'info pretty-printer' example

[Andrew Burgess]

https://sourceware.org/git/gitweb.cgi?p=binutils-gdb.git;h=ad8f56a7371620f94978efa32e1a26df88c20bb9

commit ad8f56a7371620f94978efa32e1a26df88c20bb9
Author: Andrew Burgess <aburgess@redhat.com>
Date:   Thu May 19 15:20:11 2022 +0100

    gdb/doc: use @value{GDBP} in 'info pretty-printer' example
    
    Update the 'info pretty-printer' example in the manual to make use of
    @value{GDBP} instead of hard-coding '(gdb)'.

Diff:
---
 gdb/doc/gdb.texinfo | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 76fc548fc84..90c307a7dd2 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -12076,7 +12076,7 @@ another from library2.so named @code{bar} that prints two types of objects,
 
 @smallexample
 @group
-(gdb) info pretty-printer
+(@value{GDBP}) info pretty-printer
 library1.so:
   foo
 library2.so:
@@ -12085,17 +12085,17 @@ library2.so:
     bar2
 @end group
 @group
-(gdb) info pretty-printer library2
+(@value{GDBP}) info pretty-printer library2
 library2.so:
   bar
     bar1
     bar2
 @end group
 @group
-(gdb) disable pretty-printer library1
+(@value{GDBP}) disable pretty-printer library1
 1 printer disabled
 2 of 3 printers enabled
-(gdb) info pretty-printer
+(@value{GDBP}) info pretty-printer
 library1.so:
   foo [disabled]
 library2.so:
@@ -12104,20 +12104,20 @@ library2.so:
     bar2
 @end group
 @group
-(gdb) disable pretty-printer library2 bar;bar1
+(@value{GDBP}) disable pretty-printer library2 bar;bar1
 1 printer disabled
 1 of 3 printers enabled
-(gdb) info pretty-printer library2
+(@value{GDBP}) info pretty-printer library2
 library2.so:
   bar
     bar1 [disabled]
     bar2
 @end group
 @group
-(gdb) disable pretty-printer library2 bar
+(@value{GDBP}) disable pretty-printer library2 bar
 1 printer disabled
 0 of 3 printers enabled
-(gdb) info pretty-printer
+(@value{GDBP}) info pretty-printer
 library1.so:
   foo [disabled]
 library2.so: