mirror/curl
2
0
Fork 0
mirror of https://github.com/curl/curl.git synced 2025-02-17 14:59:45 +08:00
Code Issues Packages Projects Releases Wiki Activity

scripts/copyright.pl: fix the exclusion to not ignore man pages

Browse Source 
Ref: #8869
Closes #8952
This commit is contained in:
Daniel Stenberg 2022-06-02 14:20:53 +02:00
parent df829a1fa9
commit e517b63223
No known key found for this signature in database
GPG Key ID: 5CC908FDB71E12C2
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
scripts/copyright.pl
View File

@ -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