Werner LEMBERG <w...@gnu.org> writes:
>>> However, it would be necessary to define a special version of the
>>> `@verbatim` environment (similar to LaTeX's `minted` environment)
>>> that recognizes color changes. This is certainly doable and
>>> probably not too difficult, but I currently have other things to
>>> do. Maybe it's best to open an issue.
>>
>> Well, we usually use @example rather than @verbatim in the
>> documentation because it is indented in PDF, and much more nicely
>> formatted in HTML (see
>> https://lilypond.org/doc/v2.22/Documentation/notation/table-of-contents
>> for an ugly page using @verbatim).
>
> `@example` is a verbatim environment, too.
No?
8.5 '@verbatim': Literal Text
=============================
Use the '@verbatim' environment for printing of text that may contain
special characters or commands that should not be interpreted, such as
computer input or output ('@example' interprets its text as regular
Texinfo commands). This is especially useful for including
automatically generated files in a Texinfo manual.
--
David Kastrup
