This commit is contained in:
Ivan Blinkov 2020-04-09 21:08:57 +03:00 committed by GitHub
parent d035173889
commit c1558f8c18
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -203,4 +203,4 @@ Templates:
## How to Build Documentation ## How to Build Documentation
You can build your documentation manually by following the instructions in [docs/tools/README.md](docs/tools/README.md). Also, our CI runs the documentation build after the `documentation` label is added to PR. You can see the results of a build in the GitHub interface. If you have no permissions to add labels, a reviewer of your PR will add it. You can build your documentation manually by following the instructions in [docs/tools/README.md](../docs/tools/README.md). Also, our CI runs the documentation build after the `documentation` label is added to PR. You can see the results of a build in the GitHub interface. If you have no permissions to add labels, a reviewer of your PR will add it.