Re: Inconsistent space after raw regions

[Gavin Smith]

On 5 October 2015 at 22:12, Patrice Dumas <address@hidden> wrote:
> Inline commands are more natural and were indeed added for that kind of
> cases.  But prior from inline commands, the only way to add inline raw
> text was with the block commands such as @html, and to leave the
> possibility to have a space or not after the block, to allow for a sort
> of inline command, the end of line at the end of the raw block was
> removed.  Since it was not possible to do that with TeX, it was only
> done with makeinfo.  I think that this feature was used by manuals to
> workaround the lack of inline commands at that time.  (The end of line
> before the block was never removed.)
>
> I think that not removing the last end of line of raw blocks would
> probably be better, but some manuals may expect the end of line to be
> removed.  So, there is an issue of backward compatibility here.

Seen in the sources of the gawk manual:

@ignore
Some comments on the layout for TeX.
1. Use at least texinfo.tex 2014-01-30.15
2. When using @docbook, if the last line is part of a paragraph, end
it with a space and @c so that the lines won't run together. This is a
quirk of the language / makeinfo, and isn't going to change.
@end ignore

One "data point" of the current meaning being a problem.