$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:
f:chunk-filename()

Synopsis

  |$html-extension := '.html'

Description

When using chunking (see Section 2.6, “Chunked” output), the resulting HTML documents will have this extension by default.