diff options
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 -- ---) |