Disable anchor checking for GitHub

diff --git a/doc/arm/conf.py b/doc/arm/conf.py
index d3c27e4dc8a6cd9a45355eeb7662892ee28a7c5e..818dd335e48eae554929083b9d16a04ba19d2281 100644 (file)
--- a/doc/arm/conf.py
+++ b/doc/arm/conf.py
@@ -227,6 +227,11 @@ linkcheck_ignore = [
     "https://www.godaddy.com",
     "https://www.icann.org",
 ]
+# Anchors checking does not work for GitHub, see
+# https://github.com/pypa/packaging.python.org/issues/1272.
+linkcheck_anchors_ignore_for_url = [
+    "https://.*github.*",
+]
 
 #
 # The rst_epilog will be completely overwritten from the Makefile,