diff options
Diffstat (limited to 'Utilities/Sphinx/CMakeLists.txt')
| -rw-r--r-- | Utilities/Sphinx/CMakeLists.txt | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Utilities/Sphinx/CMakeLists.txt b/Utilities/Sphinx/CMakeLists.txt index a71dfcdfaa..c8a970dcaf 100644 --- a/Utilities/Sphinx/CMakeLists.txt +++ b/Utilities/Sphinx/CMakeLists.txt @@ -58,6 +58,13 @@ configure_file(conf.py.in conf.py @ONLY) set(doc_formats "") if(SPHINX_HTML) list(APPEND doc_formats html) + + # we provide the path to the produced html output in the console + # for tools that support URI protocol schemes + set(html_extra_commands + COMMAND ${CMAKE_COMMAND} -E echo "sphinx-build html: HTML documentation generated in file://${CMAKE_CURRENT_BINARY_DIR}/html/index.html" + ) + endif() if(SPHINX_MAN) list(APPEND doc_formats man) |