diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/lint-doc.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/scripts/lint-doc.sh b/scripts/lint-doc.sh index fffb727ac2f..e5242fee32b 100755 --- a/scripts/lint-doc.sh +++ b/scripts/lint-doc.sh @@ -24,13 +24,12 @@ then fi # Make sure no files in doc/ are executable -EXEC_PERM_COUNT=$(find doc/ -type f -perm 755 | wc -l) +EXEC_PERM_COUNT=$(find doc/ app/ -type f -perm 755 | wc -l) echo 'Checking for executable permissions...' if [ "${EXEC_PERM_COUNT}" -ne 0 ] then echo '✖ ERROR: Executable permissions should not be used in documentation! Use `chmod 644` to the files in question:' >&2 - echo - find doc/ -type f -perm 755 + find doc/ app/ -type f -perm 755 exit 1 fi |