Attribute Data Type:
Attribute Default Value:
Attribute Group:
Attribute Purpose:
Attribute Inherited from Preferences?
Attribute UI-configurable?
Attribute Read-Only?
Attribute Intrinsic?
Attribute First Added:
Attribute in Current Baseline:
Attribute Last Altered:
string [other string-type attributes]
(not set - empty string)
HTML [other HTML Group attributes]
HTML export post-processing
No
No
No
No
v7.0.0
Baseline
As at baseline
If post-processing used, this indicates the extension used when generating inter-file links.
Necessary as the extension may differ from $HTMLExportExtension if the latter is set for post-processing needs, e.g. to '.md' as opposed to '.html'. In such a case $HTMLLinkExtension would be set to '.html' if that were the file extension used as the result of post processing.