html.extension
This parameter specifies a filename extension for all HTML output files. It should include the leading dot. By default, .xhtml will be used if html.xhtml is true; otherwise, .html will be used.
This parameter specifies a filename extension for all HTML output files. It should include the leading dot. By default, .xhtml will be used if html.xhtml is true; otherwise, .html will be used.