Yelp

(The Help System)

html.extension

The filename extension for all output files.

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.