branch master updated: * doc/texinfo.texi (Syntax Highlighting): mandate HIGHLIGHT_SYNTAX to be source-highlight to select source-highlight, it is better to keep the possibility of using other values provided by the user for other purposes as discussed on the mailing list.

[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 49a0d9aa96 * doc/texinfo.texi (Syntax Highlighting): mandate 
HIGHLIGHT_SYNTAX to be source-highlight to select source-highlight, it is 
better to keep the possibility of using other values provided by the user for 
other purposes as discussed on the mailing list.
49a0d9aa96 is described below

commit 49a0d9aa966f2515b6b783db6e9815f044abe849
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Sun Nov 24 16:23:23 2024 +0100

    * doc/texinfo.texi (Syntax Highlighting): mandate HIGHLIGHT_SYNTAX to
    be source-highlight to select source-highlight, it is better to keep
    the possibility of using other values provided by the user for other
    purposes as discussed on the mailing list.
---
 ChangeLog        | 7 +++++++
 doc/texinfo.texi | 2 +-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 71e5ab848f..d07a038cf2 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2024-11-24  Patrice Dumas  <pertusus@free.fr>
+
+       * doc/texinfo.texi (Syntax Highlighting): mandate HIGHLIGHT_SYNTAX to
+       be source-highlight to select source-highlight, it is better to keep
+       the possibility of using other values provided by the user for other
+       purposes as discussed on the mailing list.
+
 2024-11-23  Patrice Dumas  <pertusus@free.fr>
 
        * tp/Texinfo/ModulePath.pm.in ($texinfo_uninstalled, init),
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 2f76585624..a469200373 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -17507,7 +17507,7 @@ Use @command{highlight} from
 @url{http://www.andre-simon.de/doku/highlight/en/highlight.php};
 @item pygments
 Use @command{pygmentize} from @url{https://pygments.org/};
-@item anything else
+@item source-highlight
 Use @command{source-highlight} (@pxref{,,,source-highlight, GNU 
Source-highlight}).
 @end table