To do this, we'd produce a custom JSON document - an array of installations, one-per-line. Fields would specify country, installation type, and installation name, then a slug with the contents of the exported DITA page.
Hmm, or we use the existing text-search in react-admin. Maybe we have hidden field that contains the text of each installation. Then the in-page search runs through it.
We could use a JS client-side component to do a full-text search of the document
Here is an example: https://github.com/lucaong/minisearch
To do this, we'd produce a custom JSON document - an array of installations, one-per-line. Fields would specify country, installation type, and installation name, then a slug with the contents of the exported DITA page.
Hmm, or we use the existing text-search in react-admin. Maybe we have hidden field that contains the text of each installation. Then the in-page search runs through it.