On Sat, Jan 18, 2025 at 11:22:07PM +0100, Patrice Dumas wrote: > In any case, I said above, my preference now would be to use both an > htmlxref.cnf and files in htmlxref.d/*.cnf in all the directories where > htmlxref.cnf are searched for currently and no include directive.
This is done. I also split util/htmlxref.cnf in two, util/htmlxref.d/Texinfo_GNU.cnf for GNU projects manuals and util/htmlxref.d/Texinfo_nonGNU.cnf for non GNU free manuals. The only thing that remains to be updated are the locations of the Texinfo_*.cnf on the web, that should replace the former http://ftpmirror.gnu.org/texinfo/htmlxref.cnf. Gavin, any guidance on that? -- Pat
