From e31556d04e4a957dd38b3e52e91e1a6cedd47f65 Mon Sep 17 00:00:00 2001
From: Vincent Rouvreau <vincent.rouvreau@inria.fr>
Date: Wed, 29 Jun 2022 10:07:04 +0200
Subject: doxygen logs are now in doxygen.log file (cf. Doxyfile.in). grep and
 cp the correct file

---
 .circleci/config.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to '.circleci')

diff --git a/.circleci/config.yml b/.circleci/config.yml
index e2997145..64e7fbb1 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -95,9 +95,9 @@ jobs:
             mkdir build
             cd build
             cmake -DWITH_GUDHI_CPP_DOCUMENTATION_ONLY=ON ..
-            make doxygen 2>&1 | tee dox.log
-            grep warning dox.log
-            cp dox.log html/
+            make doxygen 2>&1
+            grep warning doxygen.log
+            cp doxygen.log html/
             cp -R html /tmp/doxygen
 
       - store_artifacts:
-- 
cgit v1.2.3