[Gluster-devel] [Gluster-users] Gluster documentation search

Aravinda avishwan at redhat.com
Tue Aug 29 04:58:03 UTC 2017

On 08/28/2017 04:44 PM, Nigel Babu 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 at gluster.org
> http://lists.gluster.org/mailman/listinfo/gluster-users

Please version the generated search_index.json file so that it will be 
easy to invalidate the browser's cache once changed.

Aravinda VK

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gluster.org/pipermail/gluster-devel/attachments/20170829/323f2e8b/attachment-0001.html>

More information about the Gluster-devel mailing list