From 118a2189fb203dedc274848833b5431273cb1db5 Mon Sep 17 00:00:00 2001 From: "Ryan C. Gordon" 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 6db8d70e8..5aeeaf0d3 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} = '';