On 5 October 2015 at 22:12, Patrice Dumas <[email protected]> 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.
