The documentation made with DocBook can be changed also to HTMLHelp.
Don't use a dummy for the keyword list ("<index/>") if you plan output to HTMLHelp. A file ix01.html is generated without contents. No workaround exists at the moment yet.
