Commit 118a2189fb203dedc274848833b5431273cb1db5

Ryan C. Gordon 2022-06-23T16:07:35

build-scripts/wikiheaders.pl: ignore the 'FrontPage' wiki pages.

diff --git a/build-scripts/wikiheaders.pl b/build-scripts/wikiheaders.pl
index 6db8d70..5aeeaf0 100755
--- a/build-scripts/wikiheaders.pl
+++ b/build-scripts/wikiheaders.pl
@@ -597,15 +597,19 @@ while (readdir(DH)) {
         next;  # only dealing with wiki pages.
     }
 
+    my $fn = $dent;
+    $fn =~ s/\..*\Z//;
+
+    # Ignore FrontPage.
+    next if $fn eq 'FrontPage';
+
     # Ignore "Category*" pages.
-    next if ($dent =~ /\ACategory/);
+    next if ($fn =~ /\ACategory/);
 
     open(FH, '<', "$wikipath/$dent") or die("Can't open '$wikipath/$dent': $!\n");
 
     my $current_section = '[start]';
     my @section_order = ( $current_section );
-    my $fn = $dent;
-    $fn =~ s/\..*\Z//;
     my %sections = ();
     $sections{$current_section} = '';