diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml index c0ce5d75e..c4b34db55 100644 --- a/.github/workflows/publish.yml +++ b/.github/workflows/publish.yml @@ -36,6 +36,9 @@ jobs: - name: Render Quarto site run: quarto render + - name: Rename original search index + run: mv _site/search.json _site/search_original.json + - name: Save _freeze folder id: cache-primes-save uses: actions/cache/save@v4 @@ -44,6 +47,22 @@ jobs: _freeze/ key: ${{ runner.os }}-primes-${{ github.run_id }} + - name: Install jq + run: sudo apt-get install jq + + - name: Fetch search_original.json from main site + run: curl -O https://raw.githubusercontent.com/TuringLang/turinglang.github.io/gh-pages/search_original.json + + - name: Convert main site search index URLs to relative URLs + run: | + jq 'map( + if .href then .href = "../" + .href else . end | + if .objectID then .objectID = "../" + .objectID else . end)' search_original.json > fixed_main_search.json + + - name: Merge both search index + run: | + jq -s '.[0] + .[1]' _site/search_original.json fixed_main_search.json > _site/search.json + - name: Deploy to GitHub Pages uses: JamesIves/github-pages-deploy-action@v4 with: