Everything is controlled by Doc files in source directories (see the
corresponding programmer's manual entry for the format and look
at Doc and lib/Doc for an example).
Currently it generates HTML indices and calls kernel-doc to generate
per-section HTML files.
