Skip to content

Use the index directive as a source for search #6692

Closed
@JulienPalard

Description

@JulienPalard

Is your feature request related to a problem? Please describe.

My problem is the search engine is not good at finding terms that are indexed, for example:

Describe the solution you'd like
I think using the global index as a source for the search engine is a good way to enhance this and allow people to manually boost a search result by using the bang of the index directive. (.. index:: ! Python).

I can try to implement it, but I'm still not sure this is a good idea.

Generated Index can point to anchors, I'm not sure the current searchindex can hold them in its current state.

Metadata

Metadata

Assignees

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions