wikiheaders: ignore wiki's README/FrontPage.md

build-scripts/wikiheaders.pl

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

docs/README-FrontPage.md

@@ -1,29 +0,0 @@
-# All READMEs available here
-
-- [migration](migration)
-- [FrontPage](FrontPage)
-- [versions](versions)
-- [android](android)
-- [psp](psp)
-- [ios](ios)
-- [hg](hg)
-- [touch](touch)
-- [riscos](riscos)
-- [linux](linux)
-- [raspberrypi](raspberrypi)
-- [ps2](ps2)
-- [platforms](platforms)
-- [porting](porting)
-- [dynapi](dynapi)
-- [macos](macos)
-- [emscripten](emscripten)
-- [ngage](ngage)
-- [windows](windows)
-- [winrt](winrt)
-- [n3ds](n3ds)
-- [visualc](visualc)
-- [kmsbsd](kmsbsd)
-- [git](git)
-- [cmake](cmake)
-- [gdk](gdk)
-- [vita](vita)