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 **@c 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.
