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)