diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-07-28 14:28:25 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-28 21:28:25 +0000 |
commit | 6bc9f09c09defa673bf0562684f9112fa94a9cfc (patch) | |
tree | face9b6f6b46f663a38115c6ca11fb7415acbd10 | |
parent | e6747735d2074fc2651c5edc11fa8170fc13663e (diff) |
Print link to docs preview (#6922)
This commit adds a message to the `docs` target with a link to a preview
of the documentation, e.g.:
```
Preview docs in browser: file://localhost/home/noetzli/repos/cvc5_win/build-docs/docs/sphinx/index.html
```
-rw-r--r-- | docs/CMakeLists.txt | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/CMakeLists.txt b/docs/CMakeLists.txt index b20819001..2d8abc8cf 100644 --- a/docs/CMakeLists.txt +++ b/docs/CMakeLists.txt @@ -37,6 +37,13 @@ add_custom_target( COMMENT "Generating Sphinx Api docs" ) +add_custom_command( + TARGET docs + POST_BUILD + COMMAND + ${CMAKE_COMMAND} -E cmake_echo_color --cyan "Preview docs in browser: file://localhost${SPHINX_OUTPUT_DIR}/index.html" +) + set(SPHINX_GH_OUTPUT_DIR ${CMAKE_CURRENT_BINARY_DIR}/sphinx-gh) add_custom_target( docs-gh ALL |