Skip to content

Commit

Permalink
Change file path output to file path uri.
Browse files Browse the repository at this point in the history
  • Loading branch information
saurabheights committed Nov 17, 2023
1 parent 640d714 commit de73980
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions docs/make_docs.py
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand All @@ -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)
Expand Down

0 comments on commit de73980

Please sign in to comment.