diff options
Diffstat (limited to 'distro/common/html/_static/searchtools.js')
-rw-r--r-- | distro/common/html/_static/searchtools.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/distro/common/html/_static/searchtools.js b/distro/common/html/_static/searchtools.js index 6e1f06bd1b..fec94539f9 100644 --- a/distro/common/html/_static/searchtools.js +++ b/distro/common/html/_static/searchtools.js @@ -594,7 +594,7 @@ var Search = { * helper function to return a node containing the * search summary for a given text. keywords is a list * of stemmed words, hlwords is the list of normal, unstemmed - * words. the first one is used to find the occurance, the + * words. the first one is used to find the occurrence, the * latter for highlighting it. */ makeSearchSummary : function(text, keywords, hlwords) { |