diff options
| author | Théo Zimmermann | 2020-03-10 15:21:29 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-03-10 15:21:29 +0100 |
| commit | 3a5469b2097c55ecf952ead470caf03b6112cd9e (patch) | |
| tree | 7f0833b0f2beb4a44b5ca54d47e495debecc104e /Makefile.doc | |
| parent | cffb0ed6f58188b8ea01d54a5349d28313b86dc1 (diff) | |
| parent | 6ee44b62d0a858a2c298c9cdfefe29c583d51a00 (diff) | |
Merge PR #11732: Update the OCaml version in `default.nix` to 4.09.0
Reviewed-by: Zimmi48
Diffstat (limited to 'Makefile.doc')
| -rw-r--r-- | Makefile.doc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.doc b/Makefile.doc index 1249555cd7..5aa1ae9850 100644 --- a/Makefile.doc +++ b/Makefile.doc @@ -38,10 +38,11 @@ SPHINXENV:=COQBIN="$(CURDIR)/bin/" COQLIB="$(WIN_CURDIR)" else SPHINXENV:=COQBIN="$(CURDIR)/bin/" COQLIB="$(CURDIR)" endif -SPHINXOPTS= -j4 SPHINXWARNERROR ?= 1 ifeq ($(SPHINXWARNERROR),1) -SPHINXOPTS += -W +SPHINXOPTS= -W +else +SPHINXOPTS= endif SPHINXBUILD= sphinx-build SPHINXBUILDDIR= doc/sphinx/_build |