From: simonm <unknown>
Date: Thu, 29 Jan 1998 11:47:56 +0000 (+0000)
Subject: [project @ 1998-01-29 11:47:56 by simonm]
X-Git-Tag: Approx_2487_patches~1038
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=9e99937151704730c24c35bea736b5d5010f2aba

[project @ 1998-01-29 11:47:56 by simonm]
add note about 'make install-doc' to the message printed after
configuration.
---

diff --git a/distrib/configure-bin.in b/distrib/configure-bin.in
index 956fb96..1e882ff 100644
--- a/distrib/configure-bin.in
+++ b/distrib/configure-bin.in
@@ -116,8 +116,8 @@ AC_PROG_GNUCPP
 #
 AC_OUTPUT(Makefile)
 
-echo "**************************************************"
+echo "****************************************************"
 echo "Configuration done, ready to either 'make install'"
-echo "or 'make in-place'."
+echo "or 'make in-place', followed by 'make install-docs'."
 echo "(see README and INSTALL files for more info.)"
-echo "**************************************************"
+echo "****************************************************"