diff options
author | GitLab Bot <gitlab-bot@gitlab.com> | 2020-10-13 12:08:27 +0300 |
---|---|---|
committer | GitLab Bot <gitlab-bot@gitlab.com> | 2020-10-13 12:08:27 +0300 |
commit | 15ae4a8da83661f2b714d804721001a53b354d28 (patch) | |
tree | 91080b2b969a66857d78fb9008c1d0c367132a8d /scripts/lint-doc.sh | |
parent | 8f71e69fdbb65d2cf95cf16ef5a0add0919edb45 (diff) |
Add latest changes from gitlab-org/gitlab@master
Diffstat (limited to 'scripts/lint-doc.sh')
-rwxr-xr-x | scripts/lint-doc.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/lint-doc.sh b/scripts/lint-doc.sh index 11550c748ee..0ce989738df 100755 --- a/scripts/lint-doc.sh +++ b/scripts/lint-doc.sh @@ -40,8 +40,8 @@ then fi # Do not use 'README.md', instead use 'index.md' -# Number of 'README.md's as of 2020-05-28 -NUMBER_READMES=40 +# Number of 'README.md's as of 2020-10-13 +NUMBER_READMES=36 FIND_READMES=$(find doc/ -name "README.md" | wc -l) echo '=> Checking for new README.md files...' echo |