diff options
Diffstat (limited to 'scripts/lint-doc.sh')
| -rwxr-xr-x | scripts/lint-doc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/lint-doc.sh b/scripts/lint-doc.sh index 5477002eb43..3959b8b510e 100755 --- a/scripts/lint-doc.sh +++ b/scripts/lint-doc.sh @@ -48,7 +48,7 @@ then exit 1 fi -MD_DOC_PATH=${MD_DOC_PATH:-doc/**/*.md} +MD_DOC_PATH=${MD_DOC_PATH:-doc} function run_locally_or_in_docker() { local cmd=$1 |