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 89648349c2b6a60399a97bf1802af75b26d2385e..8dcedc0aaa40e92030c29f26ef9eae1da56f7682 100644 (file)
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -2579,7 +2579,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.