$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.