branch master updated: * doc/texinfo.texi (@command{texi2html}): add customization that should be used for the former texi2html --short-ext option.

[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 86155bb5cf * doc/texinfo.texi (@command{texi2html}): add customization 
that should be used for the former texi2html --short-ext option.
86155bb5cf is described below

commit 86155bb5cf41a99c5f4f0db7aeb123262476c434
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Wed Oct 19 19:41:53 2022 +0200

    * doc/texinfo.texi (@command{texi2html}): add customization that
    should be used for the former texi2html --short-ext option.
---
 ChangeLog        | 5 +++++
 doc/texinfo.texi | 1 +
 2 files changed, 6 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 89c8a048f9..9b247a7d84 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2022-10-19  Patrice Dumas  <pertusus@free.fr>
+
+       * doc/texinfo.texi (@command{texi2html}): add customization that
+       should be used for the former texi2html --short-ext option.
+
 2022-10-19  Gavin Smith  <gavinsmith0123@gmail.com>
 
        * NEWS: minor corrections
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 2416b1e11c..c2a56f2b88 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -17265,6 +17265,7 @@ corresponding @command{texi2any} customization 
variables.
 @multitable {@option{--frameset-doctype}} {@code{HTML_MATH} set to @samp{l2h}}
 
 @item @option{--toc-links}            @tab @code{TOC_LINKS}
+@item @option{--short-ext}            @tab @code{EXTENSION} set to @samp{htm}
 @item @option{--prefix}               @tab @code{PREFIX}
 @item @option{--def-table}            @tab @code{DEF_TABLE}
 @item @option{--html-xref-prefix}     @tab @code{EXTERNAL_DIR}