On Sun, Mar 02, 2025 at 12:57:40AM +0100, pertu...@free.fr wrote: > 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.
Great, that was quick! I will do the documentation.
