From 83b766174c5ead353119d55067646d9dc3a547b2 Mon Sep 17 00:00:00 2001
From: "Ryan C. Gordon" <[EMAIL REDACTED]>
Date: Fri, 17 Jun 2022 17:35:52 -0400
Subject: [PATCH] build-scripts/wikiheaders.pl: ignore "Category" wiki pages.
---
build-scripts/wikiheaders.pl | 3 +++
1 file changed, 3 insertions(+)
diff --git a/build-scripts/wikiheaders.pl b/build-scripts/wikiheaders.pl
index 2cc0722648e..0e8efdef005 100755
--- a/build-scripts/wikiheaders.pl
+++ b/build-scripts/wikiheaders.pl
@@ -597,6 +597,9 @@ sub usage {
next; # only dealing with wiki pages.
}
+ # Ignore "Category*" pages.
+ next if ($dent =~ /\ACategory/);
+
open(FH, '<', "$wikipath/$dent") or die("Can't open '$wikipath/$dent': $!\n");
my $current_section = '[start]';