build-scripts/wikiheaders.pl: ignore "Category" wiki pages.
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]';