Great work, Nigel! This solves a problem that has bothered us for a while. Thank you!
-Vijay
On Mon, Aug 28, 2017 at 7:14 AM, Nigel Babu <nigelb@xxxxxxxxxx> wrote:
Hello folks,I spend some time today mucking about trying to figure out how to make our documentation search a better experience. The short answer is, search kind of works now.Long answer: mkdocs creates a client side file which is used for search. RTD overrides this by referring people to Elasticsearch. However, that doesn't clear out stale entries and we're plagued with a whole lot of stale entries. I've made some changes that other consumers of RTD have done to override our search to use the JS file rather than Elasticsearch.
--nigelb
_______________________________________________
Gluster-users mailing list
Gluster-users@xxxxxxxxxxx
http://lists.gluster.org/mailman/listinfo/gluster-users
_______________________________________________ Gluster-users mailing list Gluster-users@xxxxxxxxxxx http://lists.gluster.org/mailman/listinfo/gluster-users
