wikiheaders: ignore wiki's README/FrontPage.md

(cherry picked from commit 6d1e14b7924e45937941a64bcaf751e17b41a8e9)
This commit is contained in:
Ryan C. Gordon 2023-02-28 11:55:19 -05:00
parent a48bb80ea0
commit 462d95ab4d
No known key found for this signature in database
GPG Key ID: FA148B892AB48044

View File

@ -1021,6 +1021,7 @@ if ($copy_direction == 1) { # --copy-to-headers
while (readdir(DH)) { while (readdir(DH)) {
my $dent = $_; my $dent = $_;
if ($dent =~ /\A(.*?)\.md\Z/) { # we only bridge Markdown files here. if ($dent =~ /\A(.*?)\.md\Z/) { # we only bridge Markdown files here.
next if $1 eq 'FrontPage';
copy("$wikireadmepath/$dent", "$readmepath/README-$dent") or die("failed to copy '$wikireadmepath/$dent' to '$readmepath/README-$dent': $!\n"); copy("$wikireadmepath/$dent", "$readmepath/README-$dent") or die("failed to copy '$wikireadmepath/$dent' to '$readmepath/README-$dent': $!\n");
} }
} }
@ -1364,6 +1365,7 @@ if ($copy_direction == 1) { # --copy-to-headers
my $dent = $_; my $dent = $_;
if ($dent =~ /\AREADME\-(.*?\.md)\Z/) { # we only bridge Markdown files here. if ($dent =~ /\AREADME\-(.*?\.md)\Z/) { # we only bridge Markdown files here.
my $wikifname = $1; my $wikifname = $1;
next if $wikifname eq 'FrontPage.md';
copy("$readmepath/$dent", "$wikireadmepath/$wikifname") or die("failed to copy '$readmepath/$dent' to '$wikireadmepath/$wikifname': $!\n"); copy("$readmepath/$dent", "$wikireadmepath/$wikifname") or die("failed to copy '$readmepath/$dent' to '$wikireadmepath/$wikifname': $!\n");
} }
} }
@ -1377,6 +1379,7 @@ if ($copy_direction == 1) { # --copy-to-headers
my $dent = $_; my $dent = $_;
if ($dent =~ /\A(.*?)\.(mediawiki|md)\Z/) { if ($dent =~ /\A(.*?)\.(mediawiki|md)\Z/) {
my $wikiname = $1; my $wikiname = $1;
next if $wikiname eq 'FrontPage';
print FH "- [$wikiname]($wikiname)\n"; print FH "- [$wikiname]($wikiname)\n";
} }
} }