[PUSHED 2/3] gdb/doc: make use of group/end group in 'info pretty-printers' example

Andrew Burgess aburgess@redhat.com
Thu May 19 14:24:33 GMT 2022


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 | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 68f7aba8d7d..76fc548fc84 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -12075,6 +12075,7 @@
 @code{bar1} and @code{bar2}.
 
 @smallexample
+@group
 (gdb) info pretty-printer
 library1.so:
   foo
@@ -12082,11 +12083,15 @@
   bar
     bar1
     bar2
+@end group
+@group
 (gdb) info pretty-printer library2
 library2.so:
   bar
     bar1
     bar2
+@end group
+@group
 (gdb) disable pretty-printer library1
 1 printer disabled
 2 of 3 printers enabled
@@ -12097,6 +12102,8 @@
   bar
     bar1
     bar2
+@end group
+@group
 (gdb) disable pretty-printer library2 bar;bar1
 1 printer disabled
 1 of 3 printers enabled
@@ -12105,6 +12112,8 @@
   bar
     bar1 [disabled]
     bar2
+@end group
+@group
 (gdb) disable pretty-printer library2 bar
 1 printer disabled
 0 of 3 printers enabled
@@ -12115,6 +12124,7 @@
   bar [disabled]
     bar1 [disabled]
     bar2
+@end group
 @end smallexample
 
 Note that for @code{bar} the entire printer can be disabled,
-- 
2.25.4



More information about the Gdb-patches mailing list