Fix error in documentated use of mingw-w64 compilers

Error reported by Igal Sapir.

diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index 6715e92f0a702427026648a923d952fa40e79dba..35b873609ecccf8023acb833d6699162e45ff0f6 100644 (file)
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -2626,7 +2626,7 @@ cc-1020 cc: ERROR File = pqcomm.c, Line = 427
      from , put its bin
      directory in the PATH, and run
      configure with the
-     --host=x86_64-w64-mingw option.
+     --host=x86_64-w64-mingw32 option.