fixup building html docs