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