From: Daniel Stenberg <daniel@haxx.se>
Date: Thu, 2 Jun 2022 12:20:53 +0000 (+0200)
Subject: scripts/copyright.pl: fix the exclusion to not ignore man pages
X-Git-Tag: curl-7_84_0~92
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=e517b63223027a6ba44cc52005836c09e92301c9;p=thirdparty%2Fcurl.git

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

Ref: #8869
Closes #8952
---

diff --git a/scripts/copyright.pl b/scripts/copyright.pl
index 1033f8778a..dcb1b8b38f 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