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.