On Thu, Mar 06, 2025 at 10:35:40AM +0100, pertu...@free.fr wrote: > > Users could put the HTML xref data for the affected manuals in a separate > > file - then they can easily be removed if not needed. Only those files > > would contain the lines like > > > > hello type translit > > Should I implement that? We do not necessarily need to do it now, we > could wait for users demands.
I'm happy to wait until users ask for it. > > What I plan to do is: > * name for links to external nodes is the default one independently of > customization variables. If users ask for it, we can add to htmlxref > hello type translit > * name for redirection files is the default one independently of > customization variables > * if TRANSLITERATE_FILE_NAMES is set, additional redirection files > with translitarated file names are produced, similar to > ADD_TRANSLITERATED_REDIRECTION_FILES, but not as a temporary > measure I don't know which redirection files you mean here. I understood that --transliterate-file-names is to change the output file names, not to create extra redirection files.
