On 8/4/22 23:15, Eli Zaretskii wrote:
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?
That seems to me to be the correct approach.
(At least if the HTML contents is UTF-8 - which it should be.)
--
--Per Bothner
[email protected] http://per.bothner.com/
