Update local script for docs build (#8377)

This commit is contained in:
William FH
2023-07-27 13:13:59 -07:00
committed by GitHub
parent f5bf893035
commit 41524304bf
3 changed files with 40 additions and 17 deletions

View File

@@ -59,6 +59,7 @@ def main():
global_imports[class_name][doc_title] = doc_url
# Write the global imports information to a JSON file
_JSON_PATH.parent.mkdir(parents=True, exist_ok=True)
with _JSON_PATH.open("w") as f:
json.dump(global_imports, f)