1.1 --- a/INSTALL	Tue Apr 13 12:35:11 1999 +0200
     1.2 +++ b/INSTALL	Tue Apr 13 12:35:28 1999 +0200
     1.3 @@ -60,7 +60,7 @@
     1.4  they just won't work!  If you really feel the urge to install
     1.5  independent Isabelle binaries anywhere else do it like this:
     1.6  
     1.7 -  [ISABELLE_HOME]/bin/isatool install /usr/local/bin
     1.8 +  [ISABELLE_HOME]/bin/isatool install -p /usr/local/bin
     1.9  
    1.10  
    1.11