Add a search functionality to the docs which delivers useful results. about docs HOT 4 CLOSED

Hi @Danielku15

Thanks for your feedback.

We are using the default search functionality that comes with sphinx, and we agree it is not very good.
We tried and we actually implemented a "better" search in the past, but it was a bit too difficult to maintain and support, and we finally disabled it.

It would be great to have another look at it, thanks for the suggestions. Adding @RubenRBS that is currently working on some docs large refactors and updates.

from docs.

Hi! We have done some work to improve usability in this aspect, and while the search behaviour is still not optimal, I think it's way better than what we used to have. Could you have another look @Danielku15, see if you feel the same? Thanks!

from docs.

I did a quick test and from the search terms I used it feels a million times better. Great job 🥇!

from docs.

Closing as solved - although the search is still not perfect, it's better than it has ever been. We'll take a look into further improving it later in the year :)

from docs.