Commit 83b766174c5ead353119d55067646d9dc3a547b2

Ryan C. Gordon 2022-06-17T17:35:52

build-scripts/wikiheaders.pl: ignore "Category" wiki pages.

1
2
3
4
5
6
7
8
9
10
11
12
13
14
diff --git a/build-scripts/wikiheaders.pl b/build-scripts/wikiheaders.pl
index 2cc0722..0e8efde 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]';