From 0aa87b83193e33628fbedb283d5043a11e90c7a3 Mon Sep 17 00:00:00 2001
From: carlospolop <carlospolop@gmail.com>
Date: Tue, 30 Sep 2025 00:53:25 +0200
Subject: [PATCH] f

---
 .github/workflows/translate_all.yml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/.github/workflows/translate_all.yml b/.github/workflows/translate_all.yml
index 8c5128cb4..d06bea468 100644
--- a/.github/workflows/translate_all.yml
+++ b/.github/workflows/translate_all.yml
@@ -93,6 +93,7 @@ jobs:
       - name: Run translation script on changed files
         run: |
           git checkout master
+          cp src/SUMMARY.md /tmp/master-summary.md
           export OPENAI_API_KEY=${{ secrets.OPENAI_API_KEY }}
           git diff --name-only HEAD~1 | grep -v "SUMMARY.md" | while read -r file; do
             if echo "$file" | grep -qE '\.md$'; then
@@ -117,6 +118,20 @@ jobs:
             echo "No markdown files changed, skipping translation."
           fi
 
+      - name: Sync SUMMARY.md from master
+        run: |
+          git checkout "$BRANCH"
+          git pull
+          if [ -f /tmp/master-summary.md ]; then
+            cp /tmp/master-summary.md src/SUMMARY.md
+            git add src/SUMMARY.md
+            git commit -m "Sync SUMMARY.md with master" || echo "SUMMARY already up to date"
+            git push || echo "No SUMMARY updates to push"
+          else
+            echo "master summary not exported; failing"
+            exit 1
+          fi
+
       - name: Build mdBook
         run: |
           git checkout "$BRANCH"