From 53ed888012f61b12e90a84901045824d2d946109 Mon Sep 17 00:00:00 2001
From: Esteban Zimanyi <ezimanyi@ulb.ac.be>
Date: Wed, 20 Sep 2023 11:43:01 +0200
Subject: [PATCH] Generate documentation automatically

---
 .github/workflows/generate_docs.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/generate_docs.yml b/.github/workflows/generate_docs.yml
index 936faf3..340341b 100644
--- a/.github/workflows/generate_docs.yml
+++ b/.github/workflows/generate_docs.yml
@@ -18,9 +18,8 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v3
-
       - name: Generate PDF documentation
+        uses: actions/checkout@v3
         with:
           working-directory: '.'
         run: |