search

overte-org / overte-docs-sphinx

User documentation for Overte.
https://docs.overte.org
Other
3 stars 8 forks source link

Investigate improved search #13

Open JulianGro opened 2 years ago

JulianGro commented 2 years ago

ReadTheDocs added a way to influence search results. We should get acquainted with this and make use of it in the documentation. See https://docs.readthedocs.io/en/latest/config-file/v2.html#search