[P] output-file — Name of the Info file
<xsl:param name="output-file" select="''" />
This parameter specifies the name of the final Info file,
overriding the setting in the document itself and the automatic
selection in the stylesheet. If the document is a set, this parameter has no effect.
Do not include the
.info extension in the name.
(Note that this parameter has nothing to do with the name of the Texi-XML output by the XSLT processor you are running this stylesheet from.)