From 4876a74e01dc9f0b9bd6e968b68d260d8bbe10a8 Mon Sep 17 00:00:00 2001
From: Palash Tyagi <23239946+Magnus167@users.noreply.github.com>
Date: Sun, 3 Aug 2025 22:11:10 +0100
Subject: [PATCH] Add user guide build and output steps to CI workflow

---
 .github/workflows/docs-and-testcov.yml | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/docs-and-testcov.yml b/.github/workflows/docs-and-testcov.yml
index 3b40067..2ef211b 100644
--- a/.github/workflows/docs-and-testcov.yml
+++ b/.github/workflows/docs-and-testcov.yml
@@ -153,7 +153,6 @@ jobs:
 
           echo "<meta http-equiv=\"refresh\" content=\"0; url=../docs/index.html\">" > target/doc/rustframe/index.html
 
-          mkdir output
           cp tarpaulin-report.html target/doc/docs/
           cp tarpaulin-report.json target/doc/docs/
           cp tarpaulin-badge.json target/doc/docs/
@@ -166,6 +165,20 @@ jobs:
           # copy the benchmark report to the output directory
           cp -r benchmark-report target/doc/
 
+          mkdir output
+          cp -r target/doc/* output/
+
+      - name: Build user guide
+        run: |
+          cd docs
+          ./build.sh
+          cd ..
+
+      - name: Copy user guide to output directory
+        run: |
+          mkdir -p target/doc/user-guide
+          cp -r docs/book/* target/doc/user-guide/
+
       - name: Add index.html to output directory
         run: |
           cp .github/htmldocs/index.html target/doc/index.html