Update tools/gendocs.py
@@ -45,7 +45,7 @@ def main():
gendocs_xml(dir, "docs/Doxyfile", args.version, doc_dir)
subprocess.call("sphinx-build docs/ html/", shell=True)
- #shutil.rmtree("./xml")
+ shutil.rmtree("./xml")
subprocess.call("cargo doc --no-deps", shell=True)
dir_util.copy_tree("target/doc", "html/rust-docs")
