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 |