On Tue, Feb 11, 2025 at 10:06:54PM +0000, Gavin Smith wrote: > So it seems to me that this transliteration produces bad results in many > cases and should be turned off by default.
Ok. Should I add some backward compatibility redirection files or not? > Users could at least understand > why sequences like __00f6 were occuring in output file names, and should > have the option to either use transliteration or UTF-8 file names depending > on their preferences. Unless there is some support in htmlxref.cnf and users use it consistently, setting to the user preference will lead to non functional cross manual references, therefore it may not be such a good idea, and we should document it clearly. -- Pat
