chore: update LINKINATOR_IGNORE (#3879)

* chore: update LINKINATOR_IGNORE Signed-off-by: zirain <zirain2009@gmail.com> * remove example.com Signed-off-by: zirain <zirain2009@gmail.com> * Revert "remove example.com" This reverts commit 0c6e44c. Signed-off-by: zirain <zirain2009@gmail.com> --------- Signed-off-by: zirain <zirain2009@gmail.com>
envoyproxy · Jul 17, 2024 · 5870f21 · 5870f21
1 parent 7f86844
commit 5870f21
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/tools/make/docs.mk b/tools/make/docs.mk
@@ -3,7 +3,8 @@ RELEASE_VERSIONS ?= $(foreach v,$(wildcard ${ROOT_DIR}/docs/*),$(notdir ${v}))
 # TODO: github.com does not allow access too often, there are a lot of 429 errors
 #       find a way to remove github.com from ignore list
 # TODO: example.com is not a valid domain, we should remove it from ignore list
-LINKINATOR_IGNORE := "github.com githubusercontent.com example.com github.io _print"
+# TODO: https://www.gnu.org/software/make became unstable, we should remove it from ignore list later
+LINKINATOR_IGNORE := "github.com githubusercontent.com example.com github.io gnu.org _print"
 CLEAN_NODE_MODULES ?= true
 
 ##@ Docs