Re: Always show source code of examples

[Alfred M. Szmidt]

A patch is worth more than a thousand words.

2021-12-05  Alfred M. Szmidt  <ams@gnu.org>

        * doc/texinfo.texi (@code{@@format}): Add example input.

diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 2c833da3d8..3298b93d25 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -6708,14 +6708,32 @@ indents the text, but does not fill it.
 
 The @code{@@format} command is similar to @code{@@display}, except it
 leaves the text unindented.  Like @code{@@display}, it does not select
-the fixed-width font.
+the fixed-width font.  Thus,
 
+@example
+@group
+@@format
+This is an example of text written between a @@code{@@@@format} command
+and an @@code{@@@@end format} command.  As you can see
+from this example,
+the @@code{@@@@format} command does not fill the text.
+@@end format
+@end group
+@end example
+
+@noindent
+produces
+
+@example
+@group
 @format
 This is an example of text written between a @code{@@format} command
 and an @code{@@end format} command.  As you can see
 from this example,
 the @code{@@format} command does not fill the text.
 @end format
+@end group
+@end example
 
 
 @node @code{@@exdent}