projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e674773) | patch
Print link to docs preview (#6922)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 28 Jul 2021 21:28:25 +0000 (14:28 -0700)
committerGitHub <noreply@github.com>
Wed, 28 Jul 2021 21:28:25 +0000 (21:28 +0000)
commit6bc9f09c09defa673bf0562684f9112fa94a9cfc
treeface9b6f6b46f663a38115c6ca11fb7415acbd10tree
parente6747735d2074fc2651c5edc11fa8170fc13663ecommit | 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
```
docs/CMakeLists.txt diff | blob | history