Even more htmlhelp/travis debugging