Yelp

(The Help System)

html.basename

The base filename of the primary output file.

This parameter specifies the base filename of the primary output file, without the filename extension. This is used by html.output to determine the output filename, and may be used by format-specific linking code. By default, it uses the value of an id or xml:id attribute, if present. Otherwise, it uses the static string index.