INSTALL
changeset 16476 baa008d0fee9
parent 14024 213dcc39358f
child 16653 c12c2f411f77
     1.1 --- a/INSTALL	Mon Jun 20 15:55:44 2005 +0200
     1.2 +++ b/INSTALL	Mon Jun 20 16:41:20 2005 +0200
     1.3 @@ -36,13 +36,8 @@
     1.4  The installation may be finished as follows:
     1.5  
     1.6    cd [ISABELLE_HOME]
     1.7 -  ./configure
     1.8    ./bin/isatool install -p /usr/local/bin
     1.9  
    1.10 -Note that the configure script is only required for systems that do
    1.11 -not have bash and perl in the canonical places (/bin/bash and
    1.12 -/usr/bin/perl).
    1.13 -
    1.14  The install utility creates global references to the present Isabelle
    1.15  installation, enabling users to invoke the Isabelle executables
    1.16  without explicit path names.  Incidently, this is the only place where