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 1033f8778ae4a8ac4601e9e33006cd857b8c9246..dcb1b8b38f3225b3039b622bcaf74cb2848472df 100755 (executable)
--- 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