diff -r 529e458f84d2 -r 3bc50959c7f0 INSTALL
--- a/INSTALL	Mon Oct 01 19:21:32 2007 +0200
+++ b/INSTALL	Mon Oct 01 19:42:40 2007 +0200
@@ -20,7 +20,8 @@
   tar -C /usr/local -xzf polyml_x86-linux.tar.gz
   tar -C /usr/local -xzf HOL_x86-linux.tar.gz
 
-The install prefix given above may be changed as appropriate.  By
+The install prefix given above may be changed as appropriate; there is
+no need to install into a system directory like /usr/local at all.  By
 default the ML system (and other contributed packages) are expected in
 any of the following locations: