On Sun, Dec 05, 2021 at 12:19:36PM -0500, Alfred M. Szmidt wrote:
> Good point. Update attached. I'm slightly unsure on the @group,
> since I haven't rendered a hardcopy.
Thanks committed in your name as 2386f68e26323. I converted to PDF
and it looked fine.
PS if you send any more patches I wi
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
>
>* doc/texinfo.texi (@code{@@format}): Add example input.
>
> diff --git a/doc/texinfo.texi b/doc/texinfo.texi
>
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
>
> * doc/texinfo.texi (@code{@@format}): Add example input.
>
> diff --git a/doc/texinfo.texi b/doc/texinfo.texi
> index 2c833da3d8..3298b93d
A patch is worth more than a thousand words.
2021-12-05 Alfred M. Szmidt
* 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 @@
(info "(texinfo) @format") says:
This is an example of text written between a '@format' command
and an '@end format' command. As you can see
from this example,
the '@format' command does not fill the text.
OK, that's great.
However it would take five minutes less to figure out if instead you
ju