From 933c3b35749b7b446198aa08b4c1e665a727ae1c Mon Sep 17 00:00:00 2001
From: Emily Bourne <emily.bourne@epfl.ch>
Date: Thu, 28 Mar 2024 10:07:13 +0000
Subject: [PATCH] Fix simplified GitHub file

Tested in https://github.com/EmilyBourne/gyselalibxx/

See merge request gysela-developpers/gyselalibxx!420

--------------------------------------------
---
 .github/workflows/tests.yml | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index c6bf6921f..fe42ce67c 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -92,23 +92,27 @@ jobs:
     steps:
       - name: Checkout code
         uses: actions/checkout@v3
+        with:
+          path: code_branch
       - name: Checkout documentation
         uses: actions/checkout@v3
         with:
           ref: documentation
           path: doc_branch
+      - name: Install doxygen
+        run: |
+          sudo apt install doxygen
+        shell: bash
       - name: Generate docs
         run: |
-          mkdir build
-          cd build
-          cmake -DGYSELALIBXX_COMPILE_SOURCE=OFF -DBUILD_DOCUMENTATION=1 ../code_branch
-          make doc
+          cmake -DGYSELALIBXX_COMPILE_SOURCE=OFF -DBUILD_DOCUMENTATION=1 -B build-docs code_branch
+          cmake --build build-docs
         shell: bash
       - name: Update documentation
         run: |
           cd doc_branch
           git rm -r *
-          cp -r ../build/docs/html/* .
+          cp -r ../build-docs/docs/html/* .
           git add .
           git config --global user.name "GitHub CI Documentation builder"
           git config --global user.email "username@users.noreply.github.com"