html-index

Name

html-index -- HTML indexing?

Synopsis

html-index

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)