From 59259a5fde0d555da6faa1f300e83cc2eba61193 Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Sat, 3 May 2025 10:29:35 -0700 Subject: [PATCH] Make a doc directory if it doesn't exist --- support/mkdocs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/support/mkdocs b/support/mkdocs index e554c1fd..610d81d6 100755 --- a/support/mkdocs +++ b/support/mkdocs @@ -63,7 +63,9 @@ if len(args) > 0: '--branch', 'master'], cwd=site_dir, env=env) if ret != 0 or version == 'dev': sys.exit(ret) - redirect_page_path = os.path.join(site_dir, version, 'api.html') + current_doc_path = os.path.join(site_dir, version) + os.makedirs(current_doc_path, exist_ok=True) + redirect_page_path = os.path.join(current_doc_path, 'api.html') with open(redirect_page_path, "w") as file: file.write(redirect_page) ret = call(['git', 'add', redirect_page_path], cwd=site_dir)