diff --git a/build-scripts/wikiheaders.pl b/build-scripts/wikiheaders.pl index 29d62b0789..a9d8d729a3 100755 --- a/build-scripts/wikiheaders.pl +++ b/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"; } } diff --git a/docs/README-FrontPage.md b/docs/README-FrontPage.md deleted file mode 100644 index 14062319c3..0000000000 --- a/docs/README-FrontPage.md +++ /dev/null @@ -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)