On 3 March 2017 at 08:44, Thien-Thi Nguyen <[email protected]> wrote: > > Here's a patch that fixes a typo in the @noindent description: > > > Index: texinfo.texi > =================================================================== > --- texinfo.texi (revision 6170) > +++ texinfo.texi (working copy) > @@ -9034,7 +9034,7 @@ > line that follows after it. > @end display > > -The standard usage of @code{@@indent} is just as above: at the > +The standard usage of @code{@@noindent} is just as above: at the > beginning of what would otherwise be a paragraph, to eliminate the > indentation that normally happens there. It can either be followed by > text or be on a line by itself. There is no reason to use it > > > Here's a suitable ChangeLog entry for it: > > 2017-03-03 Thien-Thi Nguyen <[email protected]> (tiny change) > > * doc/texinfo.texi (@noindent): Spell "@noindent" correctly. >
Thank you muchly, I have applied the change.
