add docs about building docs

pull/785/head
Daniel Nüst 2019-09-07 16:03:21 +02:00 zatwierdzone przez Travis CI
rodzic 9af9b34937
commit 28261bed52
1 zmienionych plików z 13 dodań i 0 usunięć

Wyświetl plik

@ -196,3 +196,16 @@ Server:
```
Then you are good to go!
## Building the documentation locally
If you only changed the documentation, you can also build the documentation locally using `sphinx` .
```bash
#pip install -r docs/doc-requirements.txt
cd docs/
make html
```
Then open the file `docs/build/html/index.html` in your browser.