branch master updated: * doc/texinfo.texi (Syntax Highlighting): Add warning about change of syntax for HIGHLIGHT_SYNTAX. Suggestion from Patrice.

[Gavin D. Smith]

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

gavin pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new d587babb22 * doc/texinfo.texi (Syntax Highlighting): Add warning about 
change of syntax for HIGHLIGHT_SYNTAX.  Suggestion from Patrice.
d587babb22 is described below

commit d587babb22210efe3931ed2d36d47b072224e796
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Tue Nov 26 18:48:42 2024 +0000

    * doc/texinfo.texi (Syntax Highlighting): Add warning about
    change of syntax for HIGHLIGHT_SYNTAX.  Suggestion from Patrice.
---
 ChangeLog        | 5 +++++
 doc/texinfo.texi | 5 +++--
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index d07a038cf2..09d63c8b42 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2024-11-26  Gavin Smith <gavinsmith0123@gmail.com>
+
+       * doc/texinfo.texi (Syntax Highlighting): Add warning about
+       change of syntax for HIGHLIGHT_SYNTAX.  Suggestion from Patrice.
+
 2024-11-24  Patrice Dumas  <pertusus@free.fr>
 
        * doc/texinfo.texi (Syntax Highlighting): mandate HIGHLIGHT_SYNTAX to
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index a469200373..5c2c5fd032 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -17485,8 +17485,9 @@ customization set by the user.
 @cindex @command{source-highlight}
 
 @cartouche
-@quotation warning
-Source highlighting is experimental, feedback is welcomed.
+@quotation Warning
+Source highlighting is experimental; feedback is welcomed.  The syntax
+of @code{HIGHLIGHT_SYNTAX} is very likely to change in future release.
 @end quotation
 @end cartouche