diff --git a/Makefile b/Makefile index 8bfd4e674a452b..c2edfe59a4595a 100644 --- a/Makefile +++ b/Makefile @@ -1044,7 +1044,7 @@ lint-md-build: tools/remark-cli/node_modules \ .PHONY: lint-md ifneq ("","$(wildcard tools/remark-cli/node_modules/)") -LINT_MD_DOC_FILES = $(shell ls doc/**/*.md) +LINT_MD_DOC_FILES = $(shell ls doc/*.md doc/**/*.md) run-lint-doc-md = tools/remark-cli/cli.js -q -f $(LINT_MD_DOC_FILES) # Lint all changed markdown files under doc/ tools/.docmdlintstamp: $(LINT_MD_DOC_FILES)