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

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