html-index
Name
html-index -- HTML indexing?
Description
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.
Source Code
(define html-index
;; HTML indexing?
#f)