diff options
Diffstat (limited to 'documentation')
| -rw-r--r-- | documentation/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index 4d721d30f3..d40f390e2b 100644 --- a/documentation/Makefile +++ b/documentation/Makefile | |||
| @@ -3,7 +3,7 @@ | |||
| 3 | 3 | ||
| 4 | # You can set these variables from the command line, and also | 4 | # You can set these variables from the command line, and also |
| 5 | # from the environment for the first two. | 5 | # from the environment for the first two. |
| 6 | SPHINXOPTS ?= | 6 | SPHINXOPTS ?= -j auto |
| 7 | SPHINXBUILD ?= sphinx-build | 7 | SPHINXBUILD ?= sphinx-build |
| 8 | SOURCEDIR = . | 8 | SOURCEDIR = . |
| 9 | BUILDDIR = _build | 9 | BUILDDIR = _build |