branch master updated: * doc/texinfo.texi (The Top Node): Avoid unnecessary non-ASCII quotes in Info index.

[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 4782481736 * doc/texinfo.texi (The Top Node): Avoid unnecessary 
non-ASCII quotes in Info index.
4782481736 is described below

commit 4782481736b7bec1e30d35defbba4752f901bf52
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Mon Apr 11 12:46:52 2022 +0100

    * doc/texinfo.texi (The Top Node):
    Avoid unnecessary non-ASCII quotes in Info index.
---
 ChangeLog        | 4 ++--
 doc/texinfo.texi | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 12354cbf37..f17695f7bc 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,7 +1,7 @@
 2022-04-11  Gavin Smith  <gavinsmith0123@gmail.com>
 
-       * info/man.c (get_manpage_from_formatter): Check return value
-       of 'pipe'.
+       * doc/texinfo.texi (The Top Node):
+       Avoid unnecessary non-ASCII quotes in Info index.
 
 2022-04-11  Gavin Smith  <gavinsmith0123@gmail.com>
 
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 018fadc730..e6ad935015 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -2501,7 +2501,7 @@ main text of the document.
 @node The Top Node
 @section The `Top' Node and Master Menu
 @cindex Top node
-@cindex Node, `Top'
+@cindex Node, @samp{Top}
 @anchor{Top Node Example}@c
 
 The `Top' node is the node in which a reader enters an Info manual.