Skip to content

Commit

Permalink
ignore jwt.io
Browse files Browse the repository at this point in the history
Signed-off-by: zirain <[email protected]>
  • Loading branch information
zirain committed Jan 23, 2025
1 parent 7402101 commit 77f0631
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tools/make/docs.mk
Original file line number Diff line number Diff line change
Expand Up @@ -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 := "github.com githubusercontent.com example.com github.io gnu.org _print"
LINKINATOR_IGNORE := "github.com jwt.io githubusercontent.com example.com github.io gnu.org _print"
CLEAN_NODE_MODULES ?= true

##@ Docs
Expand Down

0 comments on commit 77f0631

Please sign in to comment.