diff --git a/assets/js/just-the-docs.js b/assets/js/just-the-docs.js index 308460e338da6b1a93c5e01376bc1b541e15a53d..02161816de8452ca4cbc88ee7d9de0307f2672ef 100644 --- a/assets/js/just-the-docs.js +++ b/assets/js/just-the-docs.js @@ -52,8 +52,13 @@ function initSearch() { if (request.status >= 200 && request.status < 400) { // Success! var data = JSON.parse(request.responseText); - + + {% if site.search_tokenizer_separator != nil %} lunr.tokenizer.separator = {{ site.search_tokenizer_separator }} + {% else %} + lunr.tokenizer.separator = /[\s\-/]+/ + {% end %} + var index = lunr(function () { this.ref('id'); this.field('title', { boost: 200 });