Re: Texinfo 7.0 changed the name of HTML output directory

[Gavin Smith]

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.

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