toc.html — Name of ToC HTML file
<xsl:param name="toc.html" select="concat('toc', $html.ext)"></xsl:param>
Sets the filename used for the table of contents page.