[PATCH] docs: conf.py: tweak SearchEnglish to be hyphen- and dot-friendly

[Sascha Hauer]

On Tue, 27 May 2025 09:52:05 +0200, Enrico Jörns wrote:
> This modifies the default indexer split() and js splitQuery()
> methods to support searching for words with 'inner' hyphens or dots.
> 
> While this might not be an ideal, rock solid, and fully future-proof
> solution, since it relies on some upstream sphinx-docs methods to exist,
> it allows to search for strings including hyphens and dots, such as
> 'OP-TEE', 'nv.bootchooser.last_chosen', or 'barebox-state'.
> 
> [...]

Applied, thanks!

[1/1] docs: conf.py: tweak SearchEnglish to be hyphen- and dot-friendly
      https://git.pengutronix.de/cgit/barebox/commit/?id=508059d41381 (link may not be stable)

Best regards,
-- 
Sascha Hauer <s.hauer at pengutronix.de>