gdb/doc: use @value{GDBP} in 'info pretty-printer' example
authorAndrew Burgess <aburgess@redhat.com>
Thu, 19 May 2022 14:20:11 +0000 (15:20 +0100)
committerAndrew Burgess <aburgess@redhat.com>
Thu, 19 May 2022 14:22:04 +0000 (15:22 +0100)
commitad8f56a7371620f94978efa32e1a26df88c20bb9
tree80fe70715aad16fe2581ce7e291ffc377f45a41a
parent62ec8e6dad018082e33e7dcb0633f28332f3520c
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)'.
gdb/doc/gdb.texinfo