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

Reply via email to