> From: Gavin Smith <[email protected]> > Date: Thu, 4 Aug 2022 20:34:01 +0100 > > On 8/4/22, Eli Zaretskii <[email protected]> wrote: > > > > Isn't the main issue here about encoding _file_names_, and the > > encoding of HTML is secondary? I mean file names we produce from > > Texinfo sources, for files that are part of the output from texi2any > > processing. > > > Not for creating files, referring to them from within an HTML file.
So you mean the HTML file will have these file names encoded in UTF-8, while the file itself will be created using the locale's encoding? This should work, but it needs careful programming, because not every low-level function that manipulates file names knows the purpose of the file name, so it won't necessarily know which encoding to apply (assuming that internally we are going to keep file names in UTF-8).
