Fix list of platforms for binaries.

diff --git a/Documentation/user/install.itely b/Documentation/user/install.itely
index ba38c6a6a544b2337d562d3838afe48266c54d99..37d4cdd0317a9fccf335a784f690858a5d486ceb 100644 (file)
--- a/Documentation/user/install.itely
+++ b/Documentation/user/install.itely
@@ -47,16 +47,15 @@ at @uref{http://download.linuxaudio.org/lilypond/binaries/}
 We currently create binaries for
 
 @example
-MacOS
-darwin-ppc
-darwin-x86
+MacOSX-ppc
+MacOSX-x86
 freebsd-64
 freebsd-x86
 linux-64
 linux-arm
 linux-ppc
 linux-x86
-mingw
+win32-x86
 @end example