From b8144723cef4174ab313b2d662fab02cd901f3bd Mon Sep 17 00:00:00 2001
From: Claus-Justus Heine <Claus-Justus.Heine@IANS.Uni-Stuttgart.DE>
Date: Fri, 4 May 2007 09:00:35 +0000
Subject: [PATCH] Do not tweak the default prefix.

---
 MAINTENANCE | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/MAINTENANCE b/MAINTENANCE
index 827b222..a736897 100644
--- a/MAINTENANCE
+++ b/MAINTENANCE
@@ -59,10 +59,8 @@ create proper Makefiles. The created Makefiles can then be used by us
 to test compilation and the demo programs. All Makefiles can be called
 independently from any subdirectory. The command "make install" is
 used to install a package. All files are installed below a common
-prefix path ("configure --prefix=PREFIX"). PREFIX defaults to `./' if
-`./configure' was run with the `--enable-maintainer-mode'
-switch. Otherwise it defaults to `/usr/local/'. There are also several
-variations of "clean" targets.
+prefix path ("configure --prefix=PREFIX"). PREFIX defaults to
+`/usr/local/' There are also several variations of "clean" targets.
 
 For the portable building of shared libraries we use "libtool". This involves 
 special compilation, e.g.
-- 
GitLab