From b3307ab141be856c94f1e61c4a0f8ad680c13a87 Mon Sep 17 00:00:00 2001 From: Victor Lin <13424970+victorlin@users.noreply.github.com> Date: Wed, 22 Jan 2025 10:43:03 -0800 Subject: [PATCH] Ignore gnu.org link This has been showing as broken more often than not in the recent week. --- docs/conf.py | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/conf.py b/docs/conf.py index 7b439c465..8db3ff7b8 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -161,6 +161,7 @@ def prose_list(items): # r'^http://www\.microbesonline\.org/fasttree/', r'^https://academic\.oup\.com/ve/article/4/1/vex042/4794731', + r'https://www\.gnu\.org/software/bash/manual/bash\.html#ANSI_002dC-Quoting', ] linkcheck_anchors_ignore_for_url = [ # Github uses anchor-looking links for highlighting lines but