|
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@xxxxxxxxxxx
http://lists.gluster.org/mailman/listinfo/gluster-users
Nice.
Please version the generated search_index.json file so that it
will be easy to invalidate the browser's cache once changed.
--
regards
Aravinda VK
|
_______________________________________________
Gluster-users mailing list
Gluster-users@xxxxxxxxxxx
http://lists.gluster.org/mailman/listinfo/gluster-users
