Re: Backslashes in @warning

[Werner LEMBERG]

> The page
> 
> https://lilypond.org/doc/v2.23/Documentation/notation/writing-text.html#text-marks
> 
> is missing some backslashes in the box [...]
> 
> I don't immediately see what this discrepancy could be caused by,
> apart from a bug or limitation of texi2html 1.82.
> 
> Can this be worked around somehow?

I can confirm this problem with a local build; it seems indeed to be a
bug in the old texi2html version, which swallows backslashes in
`@warning{...@code{...}...}`.  Alas, I don't know how to fix it.


    Werner