From ab41eee8e8e683ff89d618e196df76f696609ded Mon Sep 17 00:00:00 2001
From: carlospolop <carlospolop@gmail.com>
Date: Sat, 4 Oct 2025 01:39:58 +0200
Subject: [PATCH] f

---
 .github/workflows/build_master.yml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build_master.yml b/.github/workflows/build_master.yml
index e32d203ca..a675592a2 100644
--- a/.github/workflows/build_master.yml
+++ b/.github/workflows/build_master.yml
@@ -78,9 +78,9 @@ jobs:
           cp -r /tmp/searchindex-backup/* . 2>/dev/null || true
           
           # Now update/add our English searchindex file
+          # First, compress the original file (in the build directory)
+          cd "${GITHUB_WORKSPACE}"
           gzip -9 -k -f "$ASSET"
-          cp "$ASSET" "${FILENAME}"
-          cp "${ASSET}.gz" "${FILENAME}.gz"
           
           # Show compression stats
           ORIGINAL_SIZE=$(wc -c < "$ASSET")
@@ -88,6 +88,11 @@ jobs:
           RATIO=$(awk "BEGIN {printf \"%.1f\", ($COMPRESSED_SIZE / $ORIGINAL_SIZE) * 100}")
           echo "Compression: ${ORIGINAL_SIZE} bytes -> ${COMPRESSED_SIZE} bytes (${RATIO}%)"
           
+          # Copy both versions to the searchindex repo
+          cd /tmp/searchindex-repo
+          cp "${GITHUB_WORKSPACE}/${ASSET}" "${FILENAME}"
+          cp "${GITHUB_WORKSPACE}/${ASSET}.gz" "${FILENAME}.gz"
+          
           # Stage all files
           git add -A