[P] explicit-node-names — Insist on manually constructed Texinfo node names
<xsl:param name="explicit-node-names" select="false()" />
Elements in the source document can influence the Texinfo node
name generation specifying either a xreflabel, or for the sectioning
elements, a title with
role='texinfo-node' in the
*info
However, for the majority of source documents, explicit Texinfo
node names are not available, and the stylesheet tries to generate
a reasonable one instead, e.g. from the normal title of an element.
The generated name may not be optimal. If this option is set and
the stylesheet needs to generate a name, a warning is emitted and
generate-id is always used for the
name.
When the hashtable extension is not available, the stylesheet cannot check for node name collisions, and in this case, setting this option and using explicit node names are recommended.
This option is not set (i.e. false) by default.
The absolute fallback for generating node names is using the
XSLT function generate-id, and the
stylesheet always emits a warning in this case regardless of the
setting of explicit-node-names.