fix building html docs