diff options
-rw-r--r-- | documentation/conf.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/documentation/conf.py b/documentation/conf.py index 1eca8756ab..c07b6c4199 100644 --- a/documentation/conf.py +++ b/documentation/conf.py | |||
@@ -179,13 +179,13 @@ from sphinx.search import SearchEnglish | |||
179 | from sphinx.search import languages | 179 | from sphinx.search import languages |
180 | class DashFriendlySearchEnglish(SearchEnglish): | 180 | class DashFriendlySearchEnglish(SearchEnglish): |
181 | 181 | ||
182 | # Accept words that can include hyphens | 182 | # Accept words that can include 'inner' hyphens or dots |
183 | _word_re = re.compile(r'[\w\-]+') | 183 | _word_re = re.compile(r'[\w]+(?:[\.\-][\w]+)*') |
184 | 184 | ||
185 | js_splitter_code = r""" | 185 | js_splitter_code = r""" |
186 | function splitQuery(query) { | 186 | function splitQuery(query) { |
187 | return query | 187 | return query |
188 | .split(/[^\p{Letter}\p{Number}_\p{Emoji_Presentation}-]+/gu) | 188 | .split(/[^\p{Letter}\p{Number}_\p{Emoji_Presentation}\-\.]+/gu) |
189 | .filter(term => term.length > 0); | 189 | .filter(term => term.length > 0); |
190 | } | 190 | } |
191 | """ | 191 | """ |