SearchIndexPostRendererResource
A PostRendererResource that outputs a search index as a JSON file.
The generated search-index.json file is placed in the output directory and can be fetched by client-side JavaScript to provide documentation search without requiring a server.
Parameters
index
the search index to serialize