From 7dba32f3204b85b0abf39161c7c8b7db4ce27247 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 27 Mar 2021 17:00:16 +0100
Subject: [doc] [coq_makefile] Document that -j N is broken for OCaml < 4.07.0

Fixes #10704
---
 doc/sphinx/practical-tools/utilities.rst | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'doc')

diff --git a/doc/sphinx/practical-tools/utilities.rst b/doc/sphinx/practical-tools/utilities.rst
index 5d36ec3cf9..49c2c6b785 100644
--- a/doc/sphinx/practical-tools/utilities.rst
+++ b/doc/sphinx/practical-tools/utilities.rst
@@ -515,6 +515,11 @@ To build, say, two targets foo.vo and bar.vo in parallel one can use
   + ``-extra-phony`` and ``-extra`` are deprecated. To provide additional target
     (``.PHONY`` or not) please use ``CoqMakefile.local``.
 
+.. note::
+
+  Due to limitations with the compilation chain, makefiles generated
+  by ``coq_makefile`` won't correctly compile OCaml plugins with OCaml
+  < 4.07.0 when using more than one job (``-j N`` for ``N > 1``).
 
 Precompiling for ``native_compute``
 +++++++++++++++++++++++++++++++++++
-- 
cgit v1.2.3