diff --git a/sphinx/themes/basic/static/searchtools.js b/sphinx/themes/basic/static/searchtools.js index 0cbc626c9..9a5e90b1b 100644 --- a/sphinx/themes/basic/static/searchtools.js +++ b/sphinx/themes/basic/static/searchtools.js @@ -428,12 +428,12 @@ var Search = { var valid = true; // check if all requirements are matched - var filteredTerms = // as search terms with length < 3 are discarded: ignore + var filteredTermCount = // as search terms with length < 3 are discarded: ignore searchterms.filter(function(term){return term.length > 2}).length - var allRequirementsMatched = fileMap[file].length != searchterms.length && - fileMap[file].length != filteredTerms - if (allRequirementsMatched) - continue; + if ( + fileMap[file].length != searchterms.length && + fileMap[file].length != filteredTermCount + ) continue; // ensure that none of the excluded terms is in the search result for (i = 0; i < excluded.length; i++) {