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