Make target for htmlhelp, staticdocs