Re: Always show source code of examples

[Patrice Dumas]

On Sun, Dec 05, 2021 at 04:38:35AM -0500, Alfred M. Szmidt wrote:
> 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,
>  

This part looks good to me.

> +@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

I think that within an @example it is not actually the same as the code 
So I would suggest not using an @example here.

> +@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}
>