Re: [PATCH] doc: Use @: where needed

2018-11-07 Thread Jeff Law
On 11/6/18 5:56 PM, Segher Boessenkool wrote: > When an abbreviation ends with a dot followed by whitespace, Texinfo > thinks the dot ends a sentence, and applies spacing rules etc. based > on that. To prevent this, there is the @: macro. > > This patch puts @: after every vs., e.g., and i.e. whe

[PATCH] doc: Use @: where needed

2018-11-06 Thread Segher Boessenkool
When an abbreviation ends with a dot followed by whitespace, Texinfo thinks the dot ends a sentence, and applies spacing rules etc. based on that. To prevent this, there is the @: macro. This patch puts @: after every vs., e.g., and i.e. where it is needed. In a few cases there was "@ " already,