See webhelp/docs/index.html for more information about the webhelp
indexer and the webhelp output format.
