On Mon, Feb 17, 2025 at 07:00:37PM +0000, Gavin Smith wrote: > On Mon, Feb 17, 2025 at 07:44:53PM +0100, Patrice Dumas wrote: > > On Mon, Feb 17, 2025 at 06:33:30PM +0000, Gavin Smith wrote: > > > It should be easy to create an htmlxref.d directory and upload the > > > two files there. > > > > Should I document that in the manual? > > Sorry, I'm not sure what you mean. We would be the ones uploading the > files, not the users.
In @node HTML Xref Configuration, there is: You can get the latest version from @url{http://ftpmirror.gnu.org/@/texinfo/@/htmlxref.cnf}. I would like to replace with the new location, that is what I am asking here. But I want to tell something that is consistent with what you will do in term of uploading the files... -- Pat