From b1ab24be6d664a82fadf406853803b0190fa74fa Mon Sep 17 00:00:00 2001
From: Kaz Kylheku <kaz@kylheku.com>
Date: Wed, 4 Nov 2009 15:25:57 -0800
Subject: Don't lie to the user; make install doesn't work without permissions
 to the installation directories.

---
 configure | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index ec6a898b..44dda579 100755
--- a/configure
+++ b/configure
@@ -460,5 +460,17 @@ TXR_DBG_OPTS := $txr_dbg_opts
 #
 # Parting message#
 #
-printf "Configuration seems to have been successful.\n"
-printf "Now \"make install\".\n"
+cat <<!
+Configuration seems to have been successful. The next
+step is one of these two.
+
+Method 1: if you have permissions to the installation directories:
+   make install
+
+Method 2: if you have to or want to be another user such as root to install:
+   make
+   su <userid>
+   (give password, if asked)
+   make install
+
+!
-- 
cgit v1.2.3