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 <nig...@redhat.com> 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-us...@gluster.org > http://lists.gluster.org/mailman/listinfo/gluster-users >
_______________________________________________ Gluster-devel mailing list Gluster-devel@gluster.org http://lists.gluster.org/mailman/listinfo/gluster-devel
