html.ext html.ext Identifies the extension of generated HTML files The extension identified by html.ext will be used as the filename extension for chunks created by this stylesheet.