-
Notifications
You must be signed in to change notification settings - Fork 12
Description
Use case
As discussed in #22, now that we've moved to consuming the Markdown versions of pages directly, there's an opportunity to consolidate the search index as well.
Currently our docs build looks like this:
When using the search_docs tool we use that lunr index and get back results that point to the HTML pages of the docs. That url is then converted to its Markdown version (by adding /index.md) and used by the fetch_doc_page tool to fetch the content.
We have an opportunity to add a new step to our docs build to create a dedicated index for these markdown files:
This would allow for greater consistency between search results and pages, as well as - in the future - give us full control over how content is indexed.
Solution/User Experience
The change would be completely internal, so customers should not be affected in any way.
Alternative solutions
Future readers
Please react with π and your use case to help us understand customer demand.

