diff options
author | GitLab Bot <gitlab-bot@gitlab.com> | 2021-04-20 09:09:33 +0300 |
---|---|---|
committer | GitLab Bot <gitlab-bot@gitlab.com> | 2021-04-20 09:09:33 +0300 |
commit | 93f77228e32908b64ce7b9a3eb69e48efff11a9c (patch) | |
tree | a3481d6243243340b33395e7d632a9faaa6c4d4e /scripts/lint-doc.sh | |
parent | d306693dd6f64b249690b487b5d5dca55d7a27b1 (diff) |
Add latest changes from gitlab-org/gitlab@master
Diffstat (limited to 'scripts/lint-doc.sh')
-rwxr-xr-x | scripts/lint-doc.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/lint-doc.sh b/scripts/lint-doc.sh index 4d0c1ba99d2..e11ce60c17f 100755 --- a/scripts/lint-doc.sh +++ b/scripts/lint-doc.sh @@ -19,6 +19,7 @@ then fi # Documentation pages need front matter for tracking purposes. +# See also lint-docs-metadata.sh echo '=> Checking documentation for front matter...' echo no_frontmatter=$(find doc -name "*.md" -exec head -n1 {} \; | grep -v --count -- ---) |