# HG changeset patch
# User wenzelm
# Date 850144142 -3600
# Node ID 74a01a9f325dbb88b2b26b39e0fb6501a0e79421
# Parent  2d5551c8dec054e28fd110102eaeed4308967133
*** empty log message ***

diff -r 2d5551c8dec0 -r 74a01a9f325d src/Pure/mk
--- a/src/Pure/mk	Mon Dec 09 16:05:41 1996 +0100
+++ b/src/Pure/mk	Mon Dec 09 16:09:02 1996 +0100
@@ -5,9 +5,9 @@
 # mk - build Pure Isabelle.
 #
 # Notes:
-#   (1) edit etc/settings approprately
-#   (2) cd here and run ./mk
-#
+#   (1) make sure the Isabelle bin dir is in PATH (try 'which isabelle')
+#   (2) make sure etc/settings are appropriate
+#   (3) then cd here and run ./mk
 
 
 ## diagnostics