INSTALL
changeset 24797 3bc50959c7f0
parent 17547 b0d70cf4ed18
child 28504 7ad7d7d6df47
     1.1 --- a/INSTALL	Mon Oct 01 19:21:32 2007 +0200
     1.2 +++ b/INSTALL	Mon Oct 01 19:42:40 2007 +0200
     1.3 @@ -20,7 +20,8 @@
     1.4    tar -C /usr/local -xzf polyml_x86-linux.tar.gz
     1.5    tar -C /usr/local -xzf HOL_x86-linux.tar.gz
     1.6  
     1.7 -The install prefix given above may be changed as appropriate.  By
     1.8 +The install prefix given above may be changed as appropriate; there is
     1.9 +no need to install into a system directory like /usr/local at all.  By
    1.10  default the ML system (and other contributed packages) are expected in
    1.11  any of the following locations:
    1.12