html-index-filename
The name of the file to which index data will be written if html-index is not #f.
(define html-index-filename ;; Name of HTML index file "HTML.index")