Merge branch 'generate-search-index' into 'new-search-page'
Generate search index See merge request !27
.ci/build_indices.sh
0 → 100644
build_index.js
0 → 100644
documents.js
0 → 100644
Generate search index See merge request !27