diff -r 10c07d224035 -r d0937d55eb90 src/Pure/Admin/build_csdp.scala
--- a/src/Pure/Admin/build_csdp.scala	Sat Oct 10 21:04:49 2020 +0200
+++ b/src/Pure/Admin/build_csdp.scala	Sat Oct 10 21:12:20 2020 +0200
@@ -193,7 +193,7 @@
 
   Options are:
     -D DIR       target directory (default ".")
-    -M DIR       msys/mingw root directory (for Windows)
+    -M DIR       msys/mingw root specification for Windows
     -U URL       download URL
                  (default: """" + default_download_url + """")
     -v           verbose