disable html docs for now