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.

Reply via email to