diff --git a/docs/make_docs.py b/docs/make_docs.py index 3bccd7678a9..48c69454eeb 100644 --- a/docs/make_docs.py +++ b/docs/make_docs.py @@ -435,6 +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") class DoxygenDocsBuilder: @@ -449,10 +450,12 @@ def run(self): cmd = ["doxygen", "Doxyfile"] print('Calling: "%s"' % " ".join(cmd)) subprocess.check_call(cmd, stdout=sys.stdout, stderr=sys.stderr) + output_path = os.path.join(self.html_output_dir, "html", "cpp_api") shutil.copytree( os.path.join("doxygen", "html"), - os.path.join(self.html_output_dir, "html", "cpp_api"), + output_path, ) + print(f"Doxygen docs are generated at {output_path}/index.html") if os.path.exists(doxygen_temp_dir): shutil.rmtree(doxygen_temp_dir)