From 08773b35b68a7e5b47e694c9f53ca6286357696f Mon Sep 17 00:00:00 2001
From: Samuel Dunesme <samuel.dunesme@ens-lyon.fr>
Date: Mon, 13 Jan 2025 16:10:56 +0100
Subject: [PATCH] Trigger

---
 .github/workflows/documentation.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index 2091913..8fcfc09 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -3,6 +3,8 @@ name: Build documentation
 on:
   push:
     branches: [ "master", "ci" ]
+    paths:
+      - 'docs/'
 
 permissions:
   contents: write