From 9e9cbb572521e09a112bb1f778de303518fc814c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= <sebastien.loriot@cgal.org>
Date: Fri, 15 Jul 2022 13:35:34 +0200
Subject: [PATCH] disable postprocessing to debug issue

---
 .github/workflows/build_doc.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
index 9e65a357fca..48bc59d7ff7 100644
--- a/.github/workflows/build_doc.yml
+++ b/.github/workflows/build_doc.yml
@@ -87,7 +87,7 @@ jobs:
               exit 1
             fi
             cd build_doc && make -j2 doc
-            make -j2 doc_with_postprocessing 2>tmp.log
+            make -j2 doc 2>tmp.log
             if [ -s tmp.log ]; then
               content=`cat ./tmp.log`
               echo "::set-output name=DoxygenError::$(cat tmp.log)"