From 89542bd5da319f3248cb083d4a3ba37dca5e4b41 Mon Sep 17 00:00:00 2001
From: Eric Jolibois <em.jolibois@gmail.com>
Date: Mon, 16 Oct 2023 13:52:40 +0200
Subject: [PATCH] fix: force adding docs in gh action

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index e28a31d..3ad56f6 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -40,6 +40,6 @@ jobs:
           make dev-install
           make doc
 
-          git add docs
+          git add -f docs
           git commit -m "Re-generated documentation"
           git push origin gh-pages