From 83b766174c5ead353119d55067646d9dc3a547b2 Mon Sep 17 00:00:00 2001 From: "Ryan C. Gordon" 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 2cc072264..0e8efdef0 100755 --- a/build-scripts/wikiheaders.pl +++ b/build-scripts/wikiheaders.pl @@ -597,6 +597,9 @@ while (readdir(DH)) { 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]';