From 0b66f20934d151a3565a460a69449aa7e4100dee Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Fri, 19 Aug 2022 14:34:25 +0530 Subject: [PATCH] Fix mapping of ref targets with underscores --- docs/extract-rst-targets.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/extract-rst-targets.py b/docs/extract-rst-targets.py index e92583d8b..41b39d897 100755 --- a/docs/extract-rst-targets.py +++ b/docs/extract-rst-targets.py @@ -26,7 +26,7 @@ def main() -> Dict[str, str]: href = os.path.relpath(stream.name, base).replace(os.sep, '/') href = href.rpartition('.')[0] + '/' for explicit_target in find_explicit_targets(raw): - refs[explicit_target] = href + f'#{explicit_target}' + refs[explicit_target] = href + f'#{explicit_target.replace("_", "-")}' return {'ref': refs}