# HG changeset patch
# User wenzelm
# Date 1478895974 -3600
# Node ID 11d1b4e3af1d7faa93f8513b0880d9d6de4f9f24
# Parent  bb29e6849a28d74673c941f44778fb0d0f554ca4
tuned;

diff -r bb29e6849a28 -r 11d1b4e3af1d src/Pure/Admin/build_polyml.scala
--- a/src/Pure/Admin/build_polyml.scala	Fri Nov 11 21:06:15 2016 +0100
+++ b/src/Pure/Admin/build_polyml.scala	Fri Nov 11 21:26:14 2016 +0100
@@ -161,9 +161,9 @@
   Options are:
     -b EXE       other bash executable (notably for msys on Windows)
     -m ARCH      processor architecture (32=x86, 64=x86_64, default: x86)
-    -s DIR       root directory for sha1 library
+    -s DIR       sha1 sources, see https://bitbucket.org/isabelle_project/sha1
 
-  Build Poly/ML in its source ROOT directory of its sources, with additional
+  Build Poly/ML in the ROOT directory of its sources, with additional
   CONFIGURE_OPTIONS (e.g. --with-gmp).
 """,
         "b:" -> (arg => other_bash = arg),