[no subject]

[Patrice Dumas]

branch: master
commit 9e87694a0a25f306dbfe9c9e5ce2de8a6f0e0274
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Sat Apr 6 11:12:56 2024 +0200

    * doc/texinfo.texi (Other Customization Variables)
    (HTML Customization Variables List): move NODE_NAME_IN_MENU to 'HTML
    Customization Variables List', as it is used in HTML only.
---
 ChangeLog        | 6 ++++++
 doc/texinfo.texi | 8 ++++----
 2 files changed, 10 insertions(+), 4 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index caf6ae6313..1dcbbe7e8f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2024-04-06  Patrice Dumas  <pertusus@free.fr>
+
+       * doc/texinfo.texi (Other Customization Variables)
+       (HTML Customization Variables List): move NODE_NAME_IN_MENU to 'HTML
+       Customization Variables List', as it is used in HTML only.
+
 2024-04-06  Patrice Dumas  <pertusus@free.fr>
 
        * tp/Texinfo/Common.pm (%parser_options): remove 'restricted' as it is
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 290679c4f8..6aa968c59c 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -16028,10 +16028,6 @@ the title and copying informations are always output.  
This option
 is kept for DocBook for compatibility, as before 2022 the Top node was output
 in DocBook.  It could be removed in the future.
 
-@item NODE_NAME_IN_MENU
-If set, use node names in menu entries, otherwise prefer section names;
-default true.
-
 @item OPEN_QUOTE_SYMBOL
 When an opening quote is needed, e.g., for @samp{@@samp} output, use
 the specified character; default @code{&#8216;} for DocBook.
@@ -18976,6 +18972,10 @@ Default is @code{*}.
 If true, use node names in index entries, otherwise prefer section names.
 If undefined, use @code{USE_NODES} value in HTML.  Default is undefined.
 
+@item NODE_NAME_IN_MENU
+If set, use node names in menu entries, otherwise prefer section names;
+default true.
+
 @item PRE_BODY_CLOSE
 If set, the given text will appear at the footer of each
 HTML file; default unset.