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 5c853b65f9c5b6b58d346f8ba1b67e1f1991a571..01a1f719bccbb299720ce87b1a059979dc24a452 100644 (file)
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -2603,7 +2603,7 @@ PHSS_30849  s700_800 u2comp/be/plugin library Patch
      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.