branch master updated: * doc/texinfo.texi (Info Format Printindex): Reword to avoid saying "menu" too many times.

[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 d9537b5613 * doc/texinfo.texi (Info Format Printindex): Reword to 
avoid saying "menu" too many times.
d9537b5613 is described below

commit d9537b56135bdf3c29310823fed1f404b94a6952
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Tue Aug 16 15:59:51 2022 +0100

    * doc/texinfo.texi (Info Format Printindex): Reword to avoid
    saying "menu" too many times.
---
 ChangeLog        | 5 +++++
 doc/texinfo.texi | 5 ++---
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 94f59b9fb9..52f009f9a7 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2022-08-16  Gavin Smith  <gavinsmith0123@gmail.com>
+
+       * doc/texinfo.texi (Info Format Printindex): Reword to avoid
+       saying "menu" too many times.
+
 2022-08-16  Gavin Smith  <gavinsmith0123@gmail.com>
 
        @flushleft and @flushright for LaTeX
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 5a5b0bf61c..e27001154e 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -23986,9 +23986,8 @@ The format does not prescribe the choice between 
displaying the
 
 @cindex Indices, in Info format
 
-Indices in Info format are a kind of menu.
-An additional directive at the beginning of the menu marks it as an index menu,
-followed by the menu:
+An index in Info format is a kind of menu, with an additional directive
+at the beginning to mark it as an index menu.
 
 @example
     <printindex> =