diff --git a/tools/make/docs.mk b/tools/make/docs.mk index e42d50f404..f2a1909fc6 100644 --- a/tools/make/docs.mk +++ b/tools/make/docs.mk @@ -4,7 +4,7 @@ RELEASE_VERSIONS ?= $(foreach v,$(wildcard ${ROOT_DIR}/docs/*),$(notdir ${v})) # 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 # TODO: https://www.gnu.org/software/make became unstable, we should remove it from ignore list later -LINKINATOR_IGNORE := "opentelemetry.io github.com jwt.io githubusercontent.com example.com github.io gnu.org _print canva.com sched.co sap.com httpbin.org nemlig.com" +LINKINATOR_IGNORE := "opentelemetry.io github.com jwt.io githubusercontent.com example.com github.io gnu.org _print canva.com sched.co sap.com httpbin.org nemlig.com verve.com" CLEAN_NODE_MODULES ?= true ##@ Docs