diff --git a/sphinx/themes/basic/static/searchtools.js_t b/sphinx/themes/basic/static/searchtools.js_t index 0aa291cba..c3f9adc9e 100644 --- a/sphinx/themes/basic/static/searchtools.js_t +++ b/sphinx/themes/basic/static/searchtools.js_t @@ -174,7 +174,7 @@ var Search = { // lookup as object for (var i = 0; i < objectterms.length; i++) { - var others = Array.concat(objectterms.slice(0,i), + var others = [].concat(objectterms.slice(0,i), objectterms.slice(i+1, objectterms.length)) var results = this.performObjectSearch(objectterms[i], others); // Assume first word is most likely to be the object,