html-index
Turns on HTML indexing. If true, then index data will be written to the file defined by html-index-filename. This data can be collated and turned into a DocBook index with bin/collateindex.pl.
(define html-index ;; HTML indexing? #f)