--- 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: