[no subject]

[Patrice Dumas]

branch: master
commit bd571644a051c88a55f1da0541429ebe1f297ac3
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Sun Apr 7 12:06:05 2024 +0200

    * doc/texinfo.texi (Specific Customization of HTML Formatting): remove
    a @subentry associated to an @item.
---
 ChangeLog        | 5 +++++
 doc/texinfo.texi | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 6edd6bb8e2..0aa39cdd09 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2024-04-07  Patrice Dumas  <pertusus@free.fr>
+
+       * doc/texinfo.texi (Specific Customization of HTML Formatting): remove
+       a @subentry associated to an @item.
+
 2024-04-06  Patrice Dumas  <pertusus@free.fr>
 
        * doc/texinfo.texi (HTML Output Structure Customization): add
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 871546ab88..eff21ec02a 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -18545,7 +18545,7 @@ 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 set.
 
-@item NUMBER_FOOTNOTES @subentry @r{for HTML}
+@item NUMBER_FOOTNOTES
 @itemx NO_NUMBER_FOOTNOTE_SYMBOL
 By default footnotes are numbered.  With @option{--no-number-footnotes} or if
 @code{NUMBER_FOOTNOTES} is set to 0, a @samp{*} is used instead, or the