tuned;
authorwenzelm
Mon Oct 01 19:42:40 2007 +0200 (2007-10-01)
changeset 247973bc50959c7f0
parent 24796 529e458f84d2
child 24798 d04aaadfd7ae
tuned;
INSTALL
     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