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 5c908c4
Showing 1 changed file with 6 additions and 2 deletions.
8 changes: 6 additions & 2 deletions docs/make_docs.py
Original file line number Diff line number Diff line change
Expand Up @@ -435,7 +435,9 @@ 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 +457,9 @@ 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 5c908c4

Please sign in to comment.