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