Disable anchor checking for GitHub

(cherry picked from commit 641d7c561f391bdb6b46f5e19a532a5028ba0946)

diff --git a/doc/arm/conf.py b/doc/arm/conf.py
index 8ef9a56b83194d071350a275d40318910c0eac53..216a1b44dd0c3c5042c9bd20fab58904b8eb09d3 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,