On Sat, Mar 01, 2025 at 08:09:57PM +0000, Gavin Smith wrote: > ADD_TRANSLITERATED_REDIRECTION_FILES would be fine. I guess it could be > taken to imply that these are additional files that are being added.
This is implemented. I think that we could keep this customization option for some years, as it does not affect too much code, and could be needed for as long as manuals linking to a manual are not rebuilt with the next Texinfo texi2any version release. -- Pat
