From e517b63223027a6ba44cc52005836c09e92301c9 Mon Sep 17 00:00:00 2001
From: Daniel Stenberg <daniel@haxx.se>
Date: Thu, 2 Jun 2022 14:20:53 +0200
Subject: scripts/copyright.pl: fix the exclusion to not ignore man pages

Ref: #8869
Closes #8952
---
 scripts/copyright.pl | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'scripts/copyright.pl')

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
-- 
cgit v1.2.1