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".
