From 3ff2aae376c65fb3084b0d387295b7cda9871e1e Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 22 Mar 2022 16:17:34 +0100
Subject: [PATCH] [doc] slight enhancement to manuals dependencies in Makefile

---
 doc/Makefile | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index d2edc8f3995..064150c73ca 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -191,9 +191,10 @@ endif
 
 # Note: The makefiles of ACSL/E-ACSL are not parallelizable when producing both
 # acsl.pdf and acsl-implementation.pdf (race conditions in intermediary files,
-# leading to non-deterministic errors).
-# Therefore, we perform a second call to parellel for these files.
-acsl/acsl.pdf: acsl/acsl-implementation.pdf
-$(EACSL_DOC)/refman/e-acsl.pdf: $(EACSL_DOC)/refman/e-acsl-implementation.pdf
+# leading to non-deterministic errors): we have to wait for one to complete
+# before making the other
+
+acsl/acsl-implementation.pdf: | acsl/acsl.pdf
+$(EACSL_DOC)/refman/e-acsl-implementation.pdf: | $(EACSL_DOC)/refman/e-acsl.pdf
 
 endif
-- 
GitLab