./configure obsolete on virtually all systems, but apt to cause problems;
authorwenzelm
Mon Jun 20 16:41:20 2005 +0200 (2005-06-20)
changeset 16476baa008d0fee9
parent 16475 8f3ba52a7937
child 16477 e1a36498a30f
./configure obsolete on virtually all systems, but apt to cause problems;
INSTALL
     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