gdb/doc: make use of group/end group in 'info pretty-printers' example
authorAndrew Burgess <aburgess@redhat.com>
Thu, 19 May 2022 14:13:22 +0000 (15:13 +0100)
committerAndrew Burgess <aburgess@redhat.com>
Thu, 19 May 2022 14:22:04 +0000 (15:22 +0100)
commit62ec8e6dad018082e33e7dcb0633f28332f3520c
tree25ba4740da6df849d9fd3a87f226209a88171159
parent8ea87c7296fce00d0223f504f0a24ac701347f23
gdb/doc: make use of group/end group in 'info pretty-printers' example

The 'info pretty-printers' example is pretty long and consists of many
commands and their output.

Currently, when the pdf manual is generated this example spans a
page-break, with the page-break falling part way through some example
output from GDB.

This commit breaks up the example using @group .... @end group, within
each group is a single GDB command and all its output.

Now, when the pdf manual is created, the page-break is placed after
the output of one GDB command, and before the subsequent command, this
looks much nicer.
gdb/doc/gdb.texinfo