On Fri, Aug 14, 2026 at 02:03:05PM +0200, Patrice Dumas wrote:
> Right now, this is the case, but my proposal is to generate the Info
> file encoded in UTF-8 irrespective of the @documentencoding or
> OUTPUT_ENCODING_NAME.
>
> (as a side note, for the LaTeX output we ignore the @documentencoding
> but respect OUTPUT_ENCODING_NAME).
To be precise we ignore it for setting the encoding of the output
for LaTeX. It still sets the encoding used for the input file.
>From the manual:
The ‘@documentencoding’ command declares the input document encoding,
and also affects the encoding of the output.
