Closed
Description
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:
- https://docs.python.org/3/search.html?q=for should find https://docs.python.org/3/reference/compound_stmts.html#index-6
- https://docs.python.org/3/search.html?q=argument should find https://docs.python.org/3/glossary.html#term-argument
- https://docs.python.org/3/search.html?q=as should find https://docs.python.org/3/reference/compound_stmts.html#index-11 and a few others
- https://docs.python.org/3/search.html?q=function should find https://docs.python.org/3/glossary.html#term-function
- https://docs.python.org/3/search.html?q=pyobject should find https://docs.python.org/3/c-api/structures.html#c.PyObject
...
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.