diff options
| author | Marcel Amirault <ravlen@gmail.com> | 2019-05-05 18:59:22 +0300 |
|---|---|---|
| committer | Achilleas Pipinellis <axil@gitlab.com> | 2019-05-05 18:59:22 +0300 |
| commit | b05936cbfa6c72e158f976e3aa88c83a038f0cfa (patch) | |
| tree | 44bfbc23b34f5e8f842e1f7fce4d0bb8b0d511cd /scripts | |
| parent | 2229b189389b0d1b9e407ea1fc8648026f432cd4 (diff) | |
Docs: Merge Various EE /doc dirs to CE
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 f39c64339fe..5dc27b0a2b2 100755 --- a/scripts/lint-doc.sh +++ b/scripts/lint-doc.sh @@ -35,7 +35,7 @@ fi # Do not use 'README.md', instead use 'index.md' # Number of 'README.md's as of 2018-03-26 -NUMBER_READMES_CE=44 +NUMBER_READMES_CE=45 NUMBER_READMES_EE=46 FIND_READMES=$(find doc/ -name "README.md" | wc -l) echo '=> Checking for new README.md files...' |