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 | ||