From 8776371ed4cacebd2ff75e71b5a85b2658c1a446 Mon Sep 17 00:00:00 2001
From: Florian Duros <florian.duros@ormaz.fr>
Date: Tue, 2 Jul 2024 11:14:44 +0200
Subject: [PATCH 1/3] ci: remove `mdbook-combiner` version

---
 .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 e495e87eaad..2aefb39a325 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -60,7 +60,7 @@ jobs:
                   mdbook-version: "0.4.10"
 
             - name: Install mdbook extensions
-              run: cargo install mdbook-combiner@0.1.15 mdbook-mermaid
+              run: cargo install mdbook-combiner mdbook-mermaid
 
             - name: Prepare docs
               run: |

From 83186c040371aa4e6d1db3823a6dae04773cf87d Mon Sep 17 00:00:00 2001
From: Florian Duros <florian.duros@ormaz.fr>
Date: Tue, 2 Jul 2024 11:21:17 +0200
Subject: [PATCH 2/3] wip: fake run

---
 .github/workflows/docs.yml | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 2aefb39a325..82db41ae765 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -2,7 +2,7 @@ name: Deploy documentation
 
 on:
     push:
-        branches: [develop]
+        branches: [florianduros/ci/mdbooks]
     workflow_dispatch: {}
 
 permissions:
@@ -103,13 +103,13 @@ jobs:
               with:
                   path: ./book
 
-    deploy:
-        environment:
-            name: github-pages
-            url: ${{ steps.deployment.outputs.page_url }}
-        runs-on: ubuntu-latest
-        needs: build
-        steps:
-            - name: Deploy to GitHub Pages
-              id: deployment
-              uses: actions/deploy-pages@v4
+#    deploy:
+#        environment:
+#            name: github-pages
+#            url: ${{ steps.deployment.outputs.page_url }}
+#        runs-on: ubuntu-latest
+#        needs: build
+#        steps:
+#            - name: Deploy to GitHub Pages
+#              id: deployment
+#              uses: actions/deploy-pages@v4

From cdb65233b0c27a08a123d0b7fe8878b8d4aea0dd Mon Sep 17 00:00:00 2001
From: Florian Duros <florian.duros@ormaz.fr>
Date: Tue, 2 Jul 2024 11:27:39 +0200
Subject: [PATCH 3/3] Revert "wip: fake run"

This reverts commit 83186c040371aa4e6d1db3823a6dae04773cf87d.
---
 .github/workflows/docs.yml | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 82db41ae765..2aefb39a325 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -2,7 +2,7 @@ name: Deploy documentation
 
 on:
     push:
-        branches: [florianduros/ci/mdbooks]
+        branches: [develop]
     workflow_dispatch: {}
 
 permissions:
@@ -103,13 +103,13 @@ jobs:
               with:
                   path: ./book
 
-#    deploy:
-#        environment:
-#            name: github-pages
-#            url: ${{ steps.deployment.outputs.page_url }}
-#        runs-on: ubuntu-latest
-#        needs: build
-#        steps:
-#            - name: Deploy to GitHub Pages
-#              id: deployment
-#              uses: actions/deploy-pages@v4
+    deploy:
+        environment:
+            name: github-pages
+            url: ${{ steps.deployment.outputs.page_url }}
+        runs-on: ubuntu-latest
+        needs: build
+        steps:
+            - name: Deploy to GitHub Pages
+              id: deployment
+              uses: actions/deploy-pages@v4