Name

html.ext — Identifies the extension of generated HTML files

Synopsis

§115: §139

  1| <xsl:param name="html.ext"
  2|            select="'.html'"/>

Description

The extension identified by html.ext will be used as the filename extension for chunks created by this stylesheet.