[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