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

This commit is contained in:
Ryan C. Gordon 2022-06-17 17:35:52 -04:00
parent 20c622f090
commit 83b766174c
No known key found for this signature in database
GPG Key ID: FA148B892AB48044
1 changed files with 3 additions and 0 deletions

View File

@ -597,6 +597,9 @@ while (readdir(DH)) {
next; # only dealing with wiki pages. 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"); open(FH, '<', "$wikipath/$dent") or die("Can't open '$wikipath/$dent': $!\n");
my $current_section = '[start]'; my $current_section = '[start]';