Change search_index to be a JSON file#2517

Open

aaruni96 wants to merge 2 commits intoJuliaDocs:masterfrom aaruni96:ak96/index-json

+19-9

Commits on May 31, 2024

Change search_index to be a JSON file
aaruni96
committed

Commits on Jun 7, 2024

Load search index for all pages
aaruni96
committed