From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Wed, 28 Jul 2021 21:28:25 +0000 (-0700)
Subject: Print link to docs preview (#6922)
X-Git-Tag: cvc5-1.0.0~1435
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6bc9f09c09defa673bf0562684f9112fa94a9cfc;p=cvc5.git

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
```
---

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