From de73980ec1384b0ce060fe6319f52e813f7d5eb9 Mon Sep 17 00:00:00 2001 From: Saurabh Khanduja Date: Sat, 18 Nov 2023 01:17:22 +0530 Subject: [PATCH] Change file path output to file path uri. --- docs/make_docs.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/make_docs.py b/docs/make_docs.py index 48c69454eeba..59c50307f19d 100644 --- a/docs/make_docs.py +++ b/docs/make_docs.py @@ -435,7 +435,7 @@ def run(self): env=sphinx_env, stdout=sys.stdout, stderr=sys.stderr) - print(f"Sphinx docs are generated at {build_dir}/index.html") + print(f"Sphinx docs are generated at {(Path(build_dir)/'index.html').as_uri()}") class DoxygenDocsBuilder: @@ -455,7 +455,7 @@ def run(self): os.path.join("doxygen", "html"), output_path, ) - print(f"Doxygen docs are generated at {output_path}/index.html") + print(f"Doxygen docs are generated at {(Path(output_path)/'index.html').as_uri()}") if os.path.exists(doxygen_temp_dir): shutil.rmtree(doxygen_temp_dir)