Re: [help-texinfo] Accents in verbatim mode

[Karl Berry]

Verbatim is verbatim.

You could use @example, so @-commands are processed.

Or perhaps the the "verbatim" 8-bit character would work if you
specified a @documentencoding.

Best,
Karl