branch master updated: * doc/texinfo.texi (Other Customization Variables): update MENU_SYMBOL description.

[Patrice Dumas]

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

pertusus pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new b9241b6  * doc/texinfo.texi (Other Customization Variables): update 
MENU_SYMBOL description.
b9241b6 is described below

commit b9241b6f6684612c9cc0b48035023a0e648efe8b
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Sun Dec 19 17:34:18 2021 +0100

    * doc/texinfo.texi (Other Customization Variables): update
    MENU_SYMBOL description.
---
 doc/texinfo.texi | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 836bfd1..f85433a 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -16330,7 +16330,9 @@ Symbol used between the menu entry and the description; 
default
 
 @item MENU_SYMBOL
 Symbol used in front of menu entries when node names are used
-for menu entries formatting; default @samp{&bull;}.
+for menu entries formatting; default is undefined and set to
+@code{&bull;} if @code{USE_NUMERIC_ENTITY} is not set, and to
+@code{&#8217;} if not set.
 
 @item MONOLITHIC
 Output only one file including the table of contents.  Set