search workflow done

TuringLang · May 31, 2024 · 0dfe7eb · 0dfe7eb
1 parent 82d5997
commit 0dfe7eb
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -57,10 +57,9 @@ jobs:
         run: |
           jq 'map(
                 if .href then .href = "../" + .href else . end |
-                if .objectID then .objectID = "../" + .objectID else . end
-              )' search_original.json > fixed_main_search.json
+                if .objectID then .objectID = "../" + .objectID else . end)' search_original.json > fixed_main_search.json
 
-      - name: Merge search indices
+      - name: Merge both search index
         run: |
           jq -s '.[0] + .[1]' _site/search_original.json fixed_main_search.json > _site/search.json