Re: Texinfo 7.0 changed the name of HTML output directory

[Patrice Dumas]

On Fri, Aug 23, 2024 at 06:07:10PM +0100, Gavin Smith wrote:
> On Fri, Aug 23, 2024 at 06:29:04PM +0200, Patrice Dumas wrote:
> > Another possibility could be to leave the HTML Xref specification with
> > manual_html/ but document that the directory portion of the "HTML Xref
> > specification" is not important except for local collections of manuals
> > and that in practice the directory name should be chosen based on the
> > desired location and htmlxref.cnf should be used instead of the "HTML
> > Xref specification" to resolve the directory part of the specification
> > in general, be it only because otherwise the manual cannot be a target
> > for cross-references of manuals from other hosts.
> 
> Yes, that makes sense.
> 
> Another thing in the "HTML Xref Link Basics" node that looks wrong is
> the following text:
> 
>        http://HOST/DIR/FILE.html#TARGET
> 
>   ...
>   
>     The HOST is hardwired to be the local host.  This could either be the
>   literal string ‘localhost’, or, according to the rules for HTML links,
>   the ‘http://localhost/’ could be omitted entirely.

It is not wrong, but it is for the case of a collection of manuals in a
computer.

> This is not an accurate description of most intermanual HTML links
> where HOST is not "the local host".

Agreed.

I'll try to come up with some proposal.

-- 
Pat