diff --git a/docs/source/conf.py b/docs/source/conf.py index 77b1669ef0..1e1c91d732 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -144,7 +144,11 @@ def setup(app): # Excluded links for linkcheck # These should be periodically checked by hand to ensure that they are still functional -linkcheck_ignore = [R"https://www.raspberrypi.com/software/", R"http://10\..+"] +linkcheck_ignore = [ + R"https://www.raspberrypi.com/software/", + R"http://10\..+", + R"https://gnu.org/", +] token = os.environ.get("GITHUB_TOKEN", None) if token: