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 /test | |
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
```
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions