diff options
author | Daniel Stenberg <daniel@haxx.se> | 2022-06-02 14:20:53 +0200 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2022-06-02 15:39:14 +0200 |
commit | e517b63223027a6ba44cc52005836c09e92301c9 (patch) | |
tree | f5aa7c9d0f11e24cd831ad97792a1a46761714d4 /scripts | |
parent | df829a1fa9e147f249e81c25222446d7f4332de6 (diff) | |
download | curl-e517b63223027a6ba44cc52005836c09e92301c9.tar.gz |
scripts/copyright.pl: fix the exclusion to not ignore man pages
Ref: #8869
Closes #8952
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/copyright.pl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/copyright.pl b/scripts/copyright.pl index 1033f8778..dcb1b8b38 100755 --- a/scripts/copyright.pl +++ b/scripts/copyright.pl @@ -31,7 +31,10 @@ my @skiplist=( '^tests\/data\/test(\d+)$', # test case data '^docs\/cmdline-opts\/[a-z]+(.*)\.d$', # curl.1 pieces - '(\/|^)[A-Z0-9_.-]+$', # all uppercase file name, possibly with dot and dash + + # all uppercase file name, possibly with dot and dash. But do not exclude + # the man pages: + '(\/|^)[A-Z0-9_.-]+[^31]$', '(\/|^)[A-Z0-9_-]+\.md$', # all uppercase file name with .md extension '.gitignore', # wherever they are '.gitattributes', # wherever they are |