diff options
| author | GitLab Bot <gitlab-bot@gitlab.com> | 2020-03-12 06:10:15 +0300 |
|---|---|---|
| committer | GitLab Bot <gitlab-bot@gitlab.com> | 2020-03-12 06:10:15 +0300 |
| commit | b908e6171374991b93fd9cb3949dcc65b5a713c2 (patch) | |
| tree | f89dd0e7a509e67c4f022b70e0c7ed73bbb59892 /scripts/lint-doc.sh | |
| parent | 5781a4966047232d4725f9ee4769c4bd5aed9b26 (diff) | |
Add latest changes from gitlab-org/gitlab@master
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 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 |