diff options
Diffstat (limited to 'documentation/README')
| -rw-r--r-- | documentation/README | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/documentation/README b/documentation/README index 534ae66f86..28d5c4be8e 100644 --- a/documentation/README +++ b/documentation/README | |||
| @@ -127,6 +127,13 @@ The resulting HTML index page will be _build/html/index.html, and you | |||
| 127 | can browse your own copy of the locally generated documentation with | 127 | can browse your own copy of the locally generated documentation with |
| 128 | your browser. | 128 | your browser. |
| 129 | 129 | ||
| 130 | Alternatively, you can use Pipenv to automatically install all required | ||
| 131 | dependencies in a virtual environment: | ||
| 132 | |||
| 133 | $ cd documentation | ||
| 134 | $ pipenv install | ||
| 135 | $ pipenv run make html | ||
| 136 | |||
| 130 | Sphinx theme and CSS customization | 137 | Sphinx theme and CSS customization |
| 131 | ================================== | 138 | ================================== |
| 132 | 139 | ||
