%override-root-file-name%

Description

If not #f, then this is the name of a file which is to become the root of the tree of files. Note that this does not affect the (root-file-name) function. See (html-file).

Return value

Type: string

File name, without extension