From df0fd55891ee495369a19ab240f6fdc20169ed2f Mon Sep 17 00:00:00 2001 From: "Ryan C. Gordon" Date: Thu, 30 Nov 2023 10:10:04 -0500 Subject: [PATCH] wikiheaders.pl: README files are no longer in Windows endline format. --- build-scripts/wikiheaders.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-scripts/wikiheaders.pl b/build-scripts/wikiheaders.pl index c2bb8edb42..58abdf4eae 100755 --- a/build-scripts/wikiheaders.pl +++ b/build-scripts/wikiheaders.pl @@ -1090,7 +1090,7 @@ if ($copy_direction == 1) { # --copy-to-headers my $dent = $_; if ($dent =~ /\A(.*?)\.md\Z/) { # we only bridge Markdown files here. next if $1 eq 'FrontPage'; - filecopy("$wikireadmepath/$dent", "$readmepath/README-$dent", "\r\n"); + filecopy("$wikireadmepath/$dent", "$readmepath/README-$dent", "\n"); } } closedir(DH);