Re: Inconsistent space after raw regions

[Aharon Robbins]

Hi.

> > 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.

I think this is using the gawk doc as evidence for a proposed change,
whereby the workaround cited above would not be necessary.

This sounds positive. If it happens, I can change the gawk doc.
I suspect that I may be the only one who's really stumbled across
this, anyway.

So I'm OK with this change, as long as someone tells me about it
once it happens. :-)

Thanks!

Arnold