From 46823e2a9d79febe5b20e10232a5467a37c157a1 Mon Sep 17 00:00:00 2001 From: zirain Date: Wed, 17 Jul 2024 10:01:36 +0800 Subject: [PATCH] chore: update LINKINATOR_IGNORE Signed-off-by: zirain --- tools/make/docs.mk | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/make/docs.mk b/tools/make/docs.mk index b861b26444d..9ceb9f73d20 100644 --- 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