Use correct name and URL for MinGW-w64, error noticed by Gurjeet Singh.

diff --git a/doc/src/sgml/install-windows.sgml b/doc/src/sgml/install-windows.sgml
index 8681a7f683c6f68711b84a58bc302c34b13ee97d..f6d38c1a679e02ae5eae43958b32372ff4d5f4be 100644 (file)
--- a/doc/src/sgml/install-windows.sgml
+++ b/doc/src/sgml/install-windows.sgml
@@ -48,7 +48,7 @@
    and the specific notes in
    and .
   To produce native 64 bit binaries in these environments, use the tools from
-  Mingw64. These tools can also be used to
+  MinGW-w64. These tools can also be used to
   cross-compile for 32 bit and 64 bit Windows 
   targets on other hosts, such as Linux and 
   Darwin.

diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index 5c719d5a0ab1dc7c526abbb1e6d1113ae18c589e..8400ce5d70bdf50f82138954277e4580112c2b25 100644 (file)
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -2600,7 +2600,7 @@ cc-1020 cc: ERROR File = pqcomm.c, Line = 427
 
    
      To build 64 bit binaries using MinGW, install the 64 bit tool set
-     from www.mingw64.org/">, put its bin
+     from mingw-w64.sourceforge.net/">, put its bin
      directory in the PATH, and run 
      configure with the  
      --host=x86_64-w64-mingw option.