[project @ 2001-04-10 13:52:31 by sewardj]

[ghc-hetmet.git] / distrib / configure-bin.in

diff --git a/distrib/configure-bin.in b/distrib/configure-bin.in
index 2dd90f0..2c42b52 100644 (file)
--- a/distrib/configure-bin.in
+++ b/distrib/configure-bin.in
@@ -139,6 +139,6 @@ AC_OUTPUT(Makefile)
 
 echo "****************************************************"
 echo "Configuration done, ready to either 'make install'"
-echo "or 'make in-place', followed by 'make install-docs'."
+echo "or 'make in-place'."
 echo "(see README and INSTALL files for more info.)"
 echo "****************************************************"