In the default case references to external nodes are set as described
in the Texinfo manual (see HTML Xref in Texinfo). Some
customization is already possible for external manuals URLs as explained in
the Texinfo manual (see HTML Xref Configuration in Texinfo),
and by setting EXTERNAL_CROSSREF_SPLIT,
EXTERNAL_CROSSREF_EXTENSION, EXTERNAL_DIR,
TOP_NODE_FILE_TARGET or IGNORE_REF_TO_TOP_NODE_UP
(see HTML Customization Variables in Texinfo).
If the external reference is not already ignored because of
IGNORE_REF_TO_TOP_NODE_UP, two function references give
full control over the external node target output names, with
external_target_split_name if the external target is considered
to be split, and external_target_non_split_name if the external
target is non split.
($target, $host_directory, $file_name) external_target_split_name($converter, $normalized, \@node_contents, $default_target, $default_host_directory, $default_file_name) ¶$converter is a converter object. $normalized is the normalized node name, \@node_contents is a reference on an array containing the Texinfo tree contents of the external target.
$default_target, $default_host_directory and $default_file_name are the target, host and directory URL part and file name URL part that have been already set.
The function should return the $target, $host_directory and $file_name URL parts.
($target, $host_directory_file) external_target_non_split_name($converter, $normalized, \@node_contents, $default_target, $default_host_directory_file) ¶$converter is a converter object. $normalized is the normalized node name, \@node_contents is a reference on an array containing the Texinfo tree contents of the external target.
$default_target is the target and $default_host_directory_file is the host and file name part of the URL that have been already set.
The function should return the $target and $host_directory_file URL parts.