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
