diff options
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 7156488bfc8..33a46e73ee2 100755 --- a/scripts/lint-doc.sh +++ b/scripts/lint-doc.sh @@ -68,8 +68,8 @@ then fi # Do not use 'README.md', instead use 'index.md' -# Number of 'README.md's as of 2020-10-13 -NUMBER_READMES=28 +# Number of 'README.md's as of 2021-06-21 +NUMBER_READMES=15 FIND_READMES=$(find doc/ -name "README.md" | wc -l) echo '=> Checking for new README.md files...' echo |