diff options
author | Quentin Schulz <quentin.schulz@cherry.de> | 2025-06-06 16:21:33 +0200 |
---|---|---|
committer | Steve Sakoman <steve@sakoman.com> | 2025-06-13 09:01:26 -0700 |
commit | 62d68e4866a639b9c13e0684c54ec18e7dfe02d5 (patch) | |
tree | f903a41a4c3aa43bf480c55bac395aa93afa7193 /documentation/dev-manual/efficiently-fetching-sources.rst | |
parent | 1658ecc2c56a968aa3765b52c93274f0e3411176 (diff) | |
download | poky-62d68e4866a639b9c13e0684c54ec18e7dfe02d5.tar.gz |
docs: conf.py: silence SyntaxWarning on js_splitter_code
The js_splitter_code string contains backslashes that Python tries to
use as escape sequence but doesn't manage to, hence the following
SyntaxWarning message:
documentation/conf.py:188: SyntaxWarning: invalid escape sequence '\p'
.split(/[^\p{Letter}\p{Number}_\p{Emoji_Presentation}-]+/gu)
Considering that we want this to be sent verbatim to the JS, let's make
this a raw string instead.
Fixes: d4a98ee19e0c ("conf.py: tweak SearchEnglish to be hyphen-friendly")
(From yocto-docs rev: 1fc92ff2af72118ae041183d395d0a0323ecc1a9)
Signed-off-by: Quentin Schulz <quentin.schulz@cherry.de>
Signed-off-by: Antonin Godard <antonin.godard@bootlin.com>
(cherry picked from commit c1056672ef45b197136eb8815728d426337a5901)
Signed-off-by: Antonin Godard <antonin.godard@bootlin.com>
Signed-off-by: Steve Sakoman <steve@sakoman.com>
Diffstat (limited to 'documentation/dev-manual/efficiently-fetching-sources.rst')
0 files changed, 0 insertions, 0 deletions