Merge branch 'nbats:main' into main

2023-04-07 14:34:24 +02:00 · 2023-04-07 14:34:24 +02:00 · 01d05fac96
commit 01d05fac96
parent 32d910697b 85c1612721
1 changed files with 1 additions and 1 deletions
--- a/.github/replace-links-to-fmhy-in-files-in-current-dir.py
+++ b/.github/replace-links-to-fmhy-in-files-in-current-dir.py
@ -74,7 +74,7 @@ def replace_domain_and_page(text):
    return text

 def replace_underscore_in_subsections(text):
-    pattern =  r'(/#[\w]+(?:_[\w]+)*)'
+    pattern =  r'(/#[\w\-]+(?:_[\w]+)*)'
    matches = re.findall(pattern, text)
    for match in matches:
        replacement = match.replace('_', '-')