From 7e95c6a0a82120731032a8f5760141e439bae77f Mon Sep 17 00:00:00 2001
From: Florian Duros <florian.duros@ormaz.fr>
Date: Thu, 6 Jun 2024 15:37:04 +0200
Subject: [PATCH] Downgrade `mdbook-combiner` and generate docs

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 2aefb39a325..f9fb2b59f1d 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/update-mdbook]
     workflow_dispatch: {}
 
 permissions:
@@ -60,7 +60,7 @@ jobs:
                   mdbook-version: "0.4.10"
 
             - name: Install mdbook extensions
-              run: cargo install mdbook-combiner mdbook-mermaid
+              run: cargo install mdbook-combiner@0.1.15 mdbook-mermaid
 
             - name: Prepare docs
               run: |
@@ -98,18 +98,18 @@ jobs:
             - name: Build docs
               run: mdbook build
 
-            - name: Upload artifact
-              uses: actions/upload-pages-artifact@v3
-              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
+#            - name: Upload artifact
+#              uses: actions/upload-pages-artifact@v3
+#              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