From 118a2189fb203dedc274848833b5431273cb1db5 Mon Sep 17 00:00:00 2001
From: "Ryan C. Gordon" <[EMAIL REDACTED]>
Date: Thu, 23 Jun 2022 16:07:35 -0400
Subject: [PATCH] build-scripts/wikiheaders.pl: ignore the 'FrontPage' wiki
pages.
---
build-scripts/wikiheaders.pl | 10 +++++++---
1 file changed, 7 insertions(+), 3 deletions(-)
diff --git a/build-scripts/wikiheaders.pl b/build-scripts/wikiheaders.pl
index 6db8d70e87f..5aeeaf0d3d8 100755
--- a/build-scripts/wikiheaders.pl
+++ b/build-scripts/wikiheaders.pl
@@ -597,15 +597,19 @@ sub usage {
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} = '';