On Sun, Nov 24, 2024 at 01:31:58PM +0100, Patrice Dumas wrote: > Sure. Maybe we could add a more explicit quotation warning in the > manual, like > > @cartouche > @quotation warning > Source highlighting is experimental, feedback is welcomed. > > The HIGHLIGHT_SYNTAX arguments are likely to change in the next release. > @end quotation > @end cartouche
Is it ok to add something like the above? > I will also change the manual such that instead of 'anything else' > source-highlight is documented to be turned on by source-highlight, I > think that it is better in any case. done in https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=49a0d9aa966f2515b6b783db6e9815f044abe849 -- Pat
