diff options
author | GitLab Bot <gitlab-bot@gitlab.com> | 2020-07-20 15:26:25 +0300 |
---|---|---|
committer | GitLab Bot <gitlab-bot@gitlab.com> | 2020-07-20 15:26:25 +0300 |
commit | a09983ae35713f5a2bbb100981116d31ce99826e (patch) | |
tree | 2ee2af7bd104d57086db360a7e6d8c9d5d43667a /scripts/lint-doc.sh | |
parent | 18c5ab32b738c0b6ecb4d0df3994000482f34bd8 (diff) |
Add latest changes from gitlab-org/gitlab@13-2-stable-ee
Diffstat (limited to 'scripts/lint-doc.sh')
-rwxr-xr-x | scripts/lint-doc.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/lint-doc.sh b/scripts/lint-doc.sh index ca9747987df..72e6334d0fc 100755 --- a/scripts/lint-doc.sh +++ b/scripts/lint-doc.sh @@ -41,14 +41,15 @@ fi # Do not use 'README.md', instead use 'index.md' # Number of 'README.md's as of 2020-05-28 -NUMBER_READMES=45 +NUMBER_READMES=44 FIND_READMES=$(find doc/ -name "README.md" | wc -l) echo '=> Checking for new README.md files...' echo if [ ${FIND_READMES} -ne $NUMBER_READMES ] then echo - echo ' ✖ ERROR: New README.md file(s) detected, prefer index.md over README.md.' >&2 + echo ' ✖ ERROR: The number of README.md file(s) has changed. Use index.md instead of README.md.' >&2 + echo ' ✖ If removing a README.md file, update NUMBER_READMES in lint-doc.sh.' >&2 echo ' https://docs.gitlab.com/ee/development/documentation/styleguide.html#work-with-directories-and-files' echo ((ERRORCODE++)) |