Commit 98346de
tools: lint doc/*.md files
Makefile tasks only lint doc/**/*.md files but omit files that match
doc/*.md. This change adds these previously-omitted files to the list of
files to be linted.
PR-URL: #21361
Reviewed-By: Richard Lau <riclau@uk.ibm.com>
Reviewed-By: Refael Ackermann <refack@gmail.com>
Reviewed-By: Jon Moss <me@jonathanmoss.me>
Reviewed-By: Vse Mozhet Byt <vsemozhetbyt@gmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>1 parent 4566eba commit 98346de
1 file changed
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -1044,7 +1044,7 @@ lint-md-build: tools/remark-cli/node_modules \ | |||
| 1044 | 1044 | .PHONY: lint-md | |
| 1045 | 1045 | ifneq ("","$(wildcard tools/remark-cli/node_modules/)") | |
| 1046 | 1046 | ||
| 1047 | - LINT_MD_DOC_FILES = $(shell ls doc/**/*.md) | ||
| 1047 | + LINT_MD_DOC_FILES = $(shell ls doc/*.md doc/**/*.md) | ||
| 1048 | 1048 | run-lint-doc-md = tools/remark-cli/cli.js -q -f $(LINT_MD_DOC_FILES) | |
| 1049 | 1049 | # Lint all changed markdown files under doc/ | |
| 1050 | 1050 | tools/.docmdlintstamp: $(LINT_MD_DOC_FILES) | |
0 commit comments