From d9dcc9c2ed0c4e4a23ce32f944bc1f963bfd44a3 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Thu, 9 Nov 2023 18:47:19 +0100
Subject: [PATCH] fix the compilation of doc

- Use `-j$(nproc)` or `-j` (!!!)
- Handle errors when a Doxygen run fails.
---
 Documentation/doc/scripts/process_doc.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Documentation/doc/scripts/process_doc.sh b/Documentation/doc/scripts/process_doc.sh
index 14db7216f36..3486ada48f5 100644
--- a/Documentation/doc/scripts/process_doc.sh
+++ b/Documentation/doc/scripts/process_doc.sh
@@ -20,7 +20,9 @@ DOXYGEN_2=$($PATH_TO_1_9_6 --version)
 
 DO_COMPARE=TRUE
 PATH_TO_SCRIPTS=${PWD}
+NB_CORES="$(nproc)"
 
+set +e
 #######################################
 ## download and build doxygen_master ##
  #######################################