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.

-- 
Thien-Thi Nguyen -----------------------------------------------
 (defun responsep (query)
   (pcase (context query)
     (`(technical ,ml) (correctp ml))
     ...))                              748E A0E8 1CB8 A748 9BFA
--------------------------------------- 6CE4 6703 2224 4C80 7502

Attachment: signature.asc
Description: PGP signature

Reply via email to