Re: In an @example, @comment at EOL swallows the following newline.

[Gavin Smith]

On Sat, Dec 30, 2017 at 09:51:53AM +0000, Alan Mackenzie wrote:
> Hello, texinfo.
> 
> I'm using texinfo 6.3 on Gentoo GNU/Linux.
> 
> I generated the file cc-mode.info using the command
> 
>     $ makeinfo cc-mode.texi
> 
> .  From the following source snippet:
> 
> @example
> @group
> main (int,
>       char address@hidden some comment
>      )
> @end group
> @end example
> 
> , this output was generated:
> 
>           main (int,
>                 char **     )
> 
> .  It will be seen that the ")" is on the same line as the "char **".
> This seems to be a bug; the ")" should be on a line of its own, as it
> is in the .texi source.
> 
> It seems that the comment is taken to include the terminating linefeed,
> rather than being everything up to but not including the linefeed.

I believe the comment is supposed to include the linefeed. In this 
context it doesn't seem very useful, but changing it would be difficult 
and would be likely to break something else.