$html-extension
$html-extension — The extension used for HTML output when chunking.
Parameter:
{}html-extension
Defined in:
param.xsl
Used in:
param.xsl, modules/chunk.xsl
Used by:
Synopsis
$html-extension := '.html'
Description
When using chunking (see Section 2.7, ““Chunked” output”), the resulting HTML documents will have this extension by default.