diff options
Diffstat (limited to 'documentation/README')
| -rw-r--r-- | documentation/README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/README b/documentation/README index fce3cfe17e..fe86876ee7 100644 --- a/documentation/README +++ b/documentation/README | |||
| @@ -121,7 +121,7 @@ To install all required packages run: | |||
| 121 | To build the documentation locally, run: | 121 | To build the documentation locally, run: |
| 122 | 122 | ||
| 123 | $ cd documentation | 123 | $ cd documentation |
| 124 | $ make -f Makefile.sphinx html | 124 | $ make html |
| 125 | 125 | ||
| 126 | The resulting HTML index page will be _build/html/index.html, and you | 126 | 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 |