From 76923eae4bc63d796c7a956a2931bd58f70fd324 Mon Sep 17 00:00:00 2001 From: GitLab Bot Date: Tue, 22 Oct 2019 09:06:14 +0000 Subject: Add latest changes from gitlab-org/gitlab@master --- scripts/lint-doc.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'scripts/lint-doc.sh') diff --git a/scripts/lint-doc.sh b/scripts/lint-doc.sh index d097c2aee91..7f5d6130fe4 100755 --- a/scripts/lint-doc.sh +++ b/scripts/lint-doc.sh @@ -1,6 +1,7 @@ #!/usr/bin/env bash cd "$(dirname "$0")/.." +echo "=> Linting documents at path $(pwd) as $(whoami)..." # Use long options (e.g. --header instead of -H) for curl examples in documentation. echo '=> Checking for cURL short options...' @@ -25,7 +26,7 @@ fi # Make sure no files in doc/ are executable EXEC_PERM_COUNT=$(find doc/ -type f -perm 755 | wc -l) -echo '=> Checking for executable permissions...' +echo "=> Checking $(pwd)/doc 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 -- cgit v1.2.1