branch master updated: * doc/texinfo.texi (Indexing Commands): Remove apparently useless sentence. Change @code font to typewriter font.

[Gavin D. Smith]

This is an automated email from the git hooks/post-receive script.

gavin pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new 3415789b5d * doc/texinfo.texi (Indexing Commands): Remove apparently 
useless sentence.  Change @code font to typewriter font.
3415789b5d is described below

commit 3415789b5d66355b4ba1a6a05c5f733cc3769eff
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Mon Oct 17 22:53:15 2022 +0100

    * doc/texinfo.texi (Indexing Commands):
    Remove apparently useless sentence.  Change @code font
    to typewriter font.
---
 ChangeLog        | 6 ++++++
 doc/texinfo.texi | 3 +--
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 038d80aefa..e1dc75fa3d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2022-10-17  Gavin Smith  <gavinsmith0123@gmail.com>
+
+       * doc/texinfo.texi (Indexing Commands):
+       Remove apparently useless sentence.  Change @code font
+       to typewriter font.
+
 2022-10-17  Gavin Smith  <gavinsmith0123@gmail.com>
 
        * doc/texinfo.texi (Inserting Quotation Marks):
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 749a0449a4..672ea6c6a5 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -8638,8 +8638,7 @@ a colon in index entries, as this may confuse some Info 
readers.
 
 @cindex Index font types
 By default, entries for a concept index are printed in a roman
-font and entries for the other indices are printed in a
-@code{@@code} font.  Then entries may also be printed in a small font.
+font and entries for the other indices are printed in a typewriter font.
 You may change the way part of an entry is printed with the usual
 Texinfo commands, such as @code{@@file} for
 file names (@pxref{Marking Text}), and @code{@@r} for the normal roman