Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Commit 48d7d7c

Browse filesBrowse files
richardlauBridgeAR
authored andcommitted
build: lint all docs under doc
`**` expansion doesn't behave as expected and as a result files in nested subdirectories under `doc` were not linted. Use `find` instead to generate the list of files to lint. PR-URL: #28128 Refs: #28127 Reviewed-By: Rich Trott <rtrott@gmail.com> Reviewed-By: Colin Ihrig <cjihrig@gmail.com> Reviewed-By: Ruben Bridgewater <ruben@bridgewater.de> Reviewed-By: Trivikram Kamat <trivikr.dev@gmail.com>
1 parent 6b9d477 commit 48d7d7c
Copy full SHA for 48d7d7c

File tree

Expand file treeCollapse file tree

1 file changed

+1
-1
lines changed
Open diff view settings
Filter options
Expand file treeCollapse file tree

1 file changed

+1
-1
lines changed
Open diff view settings
Collapse file

‎Makefile‎

Copy file name to clipboardExpand all lines: Makefile
+1-1Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1159,7 +1159,7 @@ lint-md-clean:
11591159
lint-md-build:
11601160
$(warning "Deprecated no-op target 'lint-md-build'")
11611161

1162-
LINT_MD_DOC_FILES = $(shell ls doc/*.md doc/**/*.md)
1162+
LINT_MD_DOC_FILES = $(shell find doc -type f -name '*.md')
11631163
run-lint-doc-md = tools/lint-md.js -q -f $(LINT_MD_DOC_FILES)
11641164
# Lint all changed markdown files under doc/
11651165
tools/.docmdlintstamp: $(LINT_MD_DOC_FILES)

0 commit comments

Comments
0 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.