modifies workflow to update search.json for searching docs (#70)

* testing search index merge 1

* testing search index merge 2

* testing search index merge 2

* testing search index merge 4

* new search workflow and hotfix in _quarto.yml

* fixed workflow

* keep original search index

* simplified final main site workflow

* final main site workflow

* hotfix

Author: shravanngoswamii

.github/workflows/publish.yml

@@ -21,9 +21,26 @@ jobs:
       - name: Render Quarto site
         run: quarto render
 
+      - name: Rename original search index
+        run: mv _site/search.json _site/search_original.json
+
+      - name: Install jq
+        run: sudo apt-get install jq
+
+      - name: Fetch search.json from docs site
+        run: curl -O https://raw.githubusercontent.com/TuringLang/docs/gh-pages/search.json
+
+      - name: Fix URLs in docs site search index
+        run: |
+          jq 'map(if .href then .href = "docs/" + .href else . end) | 
+              map(if .objectID then .objectID = "docs/" + .objectID else . end)' search.json > fixed_docs_search.json
+
+      - name: Merge search indices
+        run: |
+          jq -s '.[0] + .[1]' _site/search_original.json fixed_docs_search.json > _site/search.json
+
       - name: Deploy to GitHub Pages
         uses: JamesIves/github-pages-deploy-action@v4
         with:
           branch: gh-pages
           folder: _site
-          clean: false

README.md

@@ -2,11 +2,11 @@
 
 This repository contains the quarto source for the `Turing.jl` website. 
 
-To get started with the `Turing.jl` website locally, you'll need to have the following prerequisites installed:
+To get started with the `Turing.jl` website locally, you'll need to have the following prerequisite installed:
 
 - [Quarto](https://quarto.org/docs/download/)
 
-Once you have these prerequisites installed, you can follow these steps:
+Once you have this prerequisite installed, you can follow these steps:
 
 1. Clone this repository: