diff options
Diffstat (limited to 'scripts')
| -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 3959b8b510e..d9440a5f052 100755 --- a/scripts/lint-doc.sh +++ b/scripts/lint-doc.sh @@ -80,7 +80,7 @@ echo '=> Linting markdown style...' run_locally_or_in_docker 'markdownlint' "--config .markdownlint.json ${MD_DOC_PATH}" echo '=> Linting prose...' -run_locally_or_in_docker 'vale' "--minAlertLevel error --ignore-syntax ${MD_DOC_PATH}" +run_locally_or_in_docker 'vale' "--minAlertLevel error ${MD_DOC_PATH}" echo "✔ Linting passed" exit 0 |