bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Inconsistent space after raw regions


From: Aharon Robbins
Subject: Re: Inconsistent space after raw regions
Date: Wed, 07 Oct 2015 05:31:18 +0300
User-agent: Heirloom mailx 12.5 6/20/10

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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]