html.ext — Identifies the extension of generated HTML files
<xsl:param name="html.ext">.html</xsl:param>
The extension identified by html.ext will be used as the filename extension for chunks created by this stylesheet.
html.ext