On Thu, Feb 13, 2025 at 11:14:21PM +0100, Patrice Dumas wrote: > 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?
What I'm not sure about is if anybody is using the file from that location. I'm not aware that it's usual for distributions to update their distributed version from time to time using new versions of htmlxref.cnf. It's always possible that individual users do, though. It should be easy to create an htmlxref.d directory and upload the two files there. There would be the question of whether we then delete the uploaded (unitary) htmlxref.cnf. We would not be making any more updates to that file. Users of older Texinfo versions could still use newer data by concatenating the two files and calling the result "htmlxref.cnf", except the "htmlxrefversion" variable would be set twice, which hopefully isn't a problem. Users could also get these data files from the git repository, although downloading them from the web URL is likely more straightforward.
