release.pl: switch the.earth.li to HTTPS.

That's the URL scheme we advertise on the website, so it's silly to do
the release-time testing by any other system.

diff --git a/release.pl b/release.pl
index 73106d591712bb8c4000b8e77d4c45dfbafc39d8..f5bc3fac6f238e156056b4bb40e7806547772159 100755 (executable)
--- a/release.pl
+++ b/release.pl
@@ -117,7 +117,7 @@ if ($precheck || $postcheck) {
     # downloaded files against the exact contents they should have.
     -d "putty" or die "no putty directory in cwd";
 
-    my $httpprefix = "http://the.earth.li/~sgtatham/putty/";
+    my $httpprefix = "https://the.earth.li/~sgtatham/putty/";
     my $ftpprefix = "ftp://ftp.chiark.greenend.org.uk/users/sgtatham/putty-";
 
     # Go through all the files in build.out.