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 @@ another from library2.so named @code{bar} that prints two types of objects,
 @code{bar1} and @code{bar2}.
 
 @smallexample
+@group
 (gdb) info pretty-printer
 library1.so:
   foo
@@ -12082,11 +12083,15 @@ library2.so:
   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 @@ library2.so:
   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 @@ library2.so:
   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 @@ library2.so:
   bar [disabled]
     bar1 [disabled]
     bar2
+@end group
 @end smallexample
 
 Note that for @code{bar} the entire printer can be disabled,