Fixes that some markdown on github doesn't generate a proper anchor t…

…ag and uses `user-content-` preprended to the tag instead
NIGMS · Oct 8, 2024 · 4031e59 · 4031e59
1 parent 71ee36f
commit 4031e59
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/check_links.py b/.github/workflows/check_links.py
@@ -123,6 +123,10 @@ def check_link(link):
     elif "#" in link and \
         code[1] is not None \
         and 'href=\"' + link[link.find("#"):] + '\"' not in \
+        code[1] \
+        and 'name=\"' + link[link.find("#")+1:] + '\"' not in \
+        code[1] \
+        and 'name=\"user-content-' + link[link.find("#") + 1:] + '\"' not in \
         code[1]:
         if ignore:
             print(