diff options
Diffstat (limited to 'Documentation/lint-documentation-style.perl')
| -rwxr-xr-x | Documentation/lint-documentation-style.perl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Documentation/lint-documentation-style.perl b/Documentation/lint-documentation-style.perl index 1f35a6a116..11321a151b 100755 --- a/Documentation/lint-documentation-style.perl +++ b/Documentation/lint-documentation-style.perl @@ -18,6 +18,9 @@ while (my $line = <>) { report($line, "multiple parameters in a definition list item"); } + if ($line =~ /^`?--\[no-\][a-z0-9-]+.*(::|;;)$/) { + report($line, "definition list item with a `--[no-]` parameter"); + } } |