[committed] doc: Convert mingw-w64.org links to https

  It turns out my link checker does catch broken links under 
gcc.gnu.org/install/ - fixed thusly.

(That makes it all the more puzzling how the issue you fixed last
week did not arise, Jonathan.)

Gerald


gcc:
	* doc/install.texi (Binaries): Convert mingw-w64.org to https.
	(Specific): Ditto.
---
 gcc/doc/install.texi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
  

On Fri, 22 Oct 2021, 23:28 Gerald Pfeifer, <gerald@pfeifer.com> wrote:

> It turns out my link checker does catch broken links under
> gcc.gnu.org/install/ - fixed thusly.
>
> (That makes it all the more puzzling how the issue you fixed last
> week did not arise, Jonathan.)
>

It didn't give a 404, there was a page at the end of the link, just an
empty one. So it probably looks like a good link to your script.



> Gerald
>
>
> gcc:
>         * doc/install.texi (Binaries): Convert mingw-w64.org to https.
>         (Specific): Ditto.
> ---
>  gcc/doc/install.texi | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
> index 7c775965964..38f96bf5a89 100644
> --- a/gcc/doc/install.texi
> +++ b/gcc/doc/install.texi
> @@ -3473,7 +3473,7 @@ Microsoft Windows:
>  The @uref{https://sourceware.org/cygwin/,,Cygwin} project;
>  @item
>  The @uref{https://osdn.net/projects/mingw/,,MinGW} and
> -@uref{http://www.mingw-w64.org/,,mingw-w64} projects.
> +@uref{https://www.mingw-w64.org/,,mingw-w64} projects.
>  @end itemize
>
>  @item
> @@ -5080,7 +5080,7 @@ the Win32 subsystem that provides a subset of POSIX.
>
>  @subheading Intel 64-bit versions
>  GCC contains support for x86-64 using the mingw-w64
> -runtime library, available from @uref{http://mingw-w64.org/doku.php}.
> +runtime library, available from @uref{https://mingw-w64.org/doku.php}.
>  This library should be used with the target triple x86_64-pc-mingw32.
>
>  Presently Windows for Itanium is not supported.
> --
> 2.33.0
>
  

On Sat, 23 Oct 2021, 00:43 Jonathan Wakely, <jwakely.gcc@gmail.com> wrote:

>
>
> On Fri, 22 Oct 2021, 23:28 Gerald Pfeifer, <gerald@pfeifer.com> wrote:
>
>> It turns out my link checker does catch broken links under
>> gcc.gnu.org/install/ - fixed thusly.
>>
>> (That makes it all the more puzzling how the issue you fixed last
>> week did not arise, Jonathan.)
>>
>
> It didn't give a 404, there was a page at the end of the link, just an
> empty one. So it probably looks like a good link to your script.
>


Maybe something is (or was?) still generating old.html, as an empty page:

https://gcc.gnu.org/install/old.html
  

On Sat, 23 Oct 2021, Jonathan Wakely wrote:
>> (That makes it all the more puzzling how the issue you fixed last
>> week did not arise, Jonathan.)
> It didn't give a 404, there was a page at the end of the link, just 
> an empty one. So it probably looks like a good link to your script.

Yes, as long as there is a page the link is considered valid, 
regardless of contents.

On Sat, 23 Oct 2021, Jonathan Wakely wrote:
> Maybe something is (or was?) still generating old.html, as an empty page:
> 
> https://gcc.gnu.org/install/old.html

Ahh, that got me thinking. Thank you for the hint, Jonathan!

I know what happens and will address it (after a good night's sleep :-).

Gerald