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