[Gluster-devel] [Gluster-users] Gluster documentation search
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.
> Gluster-users mailing list
> Gluster-users at gluster.org
Please version the generated search_index.json file so that it will be
easy to invalidate the browser's cache once changed.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Gluster-devel