Re: different encodings for input and output file names and command line

[Eli Zaretskii]

> Date: Mon, 28 Feb 2022 10:29:02 +0100
> From: Patrice Dumas <pertusus@free.fr>
> 
> My proposal is:
> 
> * input file name encoding:
>    My preference would be the locale, but Gavin proposal to use
>    @documentencoding also has merit, so let stick to @documentencoding
>    except on Windows where the locale is used.
> * output file encoding:
>    Use the locale in the default case.
> * command lines called from texi2any
>    Always use the encoding already used for messages defaulting to the
>    locale encoding
> 
> Opinions, ideas?

I agree, FWIW.