# HG changeset patch
# User wenzelm
# Date 1119278480 -7200
# Node ID baa008d0fee9e54ad90c0020ec88ad60428869f6
# Parent  8f3ba52a7937b6d09848bffecc9de8d924cb5574
./configure obsolete on virtually all systems, but apt to cause problems;

diff -r 8f3ba52a7937 -r baa008d0fee9 INSTALL
--- 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:
 
   cd [ISABELLE_HOME]
-  ./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
-/usr/bin/perl).
-
 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