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 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 ans
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.