> Date: Sun, 15 Jun 2025 16:16:23 -0700
> From: Raymond Toy <toy.raym...@gmail.com>
>
> I also noticed that @example c is accepted. Should it be?
Yes. From the Texinfo manual:
You may optionally give arguments to the ‘@example’ command,
separated by commas if there is more than one. In the HTML output, any
such arguments are output as class names, prefixed by the string
‘user-’. This may be useful for adding syntax highlighting to manuals
for code samples.
We recommend that when you give multiple arguments to ‘@example’, you
use the first argument to specify the language of the code (e.g. ‘C’,
‘lisp’, ‘Cplusplus’). You may find uses for other arguments, such as
providing a formatting hint or marking code samples for extraction and
further processing, but for now nothing definitive is recommended.
Perhaps this will change in future Texinfo releases.
So it's a documented feature.
