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 98346de

Browse filesBrowse files
Trotttargos
Trott
authored and
targos
committed
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
Copy full SHA for 98346de

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
@@ -1044,7 +1044,7 @@ lint-md-build: tools/remark-cli/node_modules \
10441044
.PHONY: lint-md
10451045
ifneq ("","$(wildcard tools/remark-cli/node_modules/)")
10461046

1047-
LINT_MD_DOC_FILES = $(shell ls doc/**/*.md)
1047+
LINT_MD_DOC_FILES = $(shell ls doc/*.md doc/**/*.md)
10481048
run-lint-doc-md = tools/remark-cli/cli.js -q -f $(LINT_MD_DOC_FILES)
10491049
# Lint all changed markdown files under doc/
10501050
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.