From abf726630c597933f72dba335a7fa47758b13839 Mon Sep 17 00:00:00 2001
From: Gabor Szabo <gabor@szabgab.com>
Date: Sat, 8 Feb 2025 17:07:11 +0100
Subject: [PATCH] build using mdbook

---
 .github/workflows/ci.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 9c1786ce..b15b18ac 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -64,6 +64,15 @@ jobs:
         pwd
         ./generate_slides.py
 
+    - name: Download mdBook
+      run: |
+        wget https://github.com/rust-lang/mdBook/releases/download/v0.4.44/mdbook-v0.4.44-x86_64-unknown-linux-gnu.tar.gz
+        tar xzf mdbook-v0.4.44-x86_64-unknown-linux-gnu.tar.gz
+
+    - name: mdBook
+      run: |
+        ../mdbook build --dest-dir ../html/github-pages github-pages/
+
     - name: Upload artifact
       uses: actions/upload-pages-artifact@v3
       with: