X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=distrib%2Fconfigure-bin.in;h=2c42b5256916b451671824bfd33d7153e73bb07b;hb=1276e713503e453c650a5f4addf57d3a34ea9a58;hp=2dd90f03e6c4d80d722d1ce79f774bdb476147da;hpb=393185426d61a45e0d7f1cb97925b7f7ae0ed278;p=ghc-hetmet.git

diff --git a/distrib/configure-bin.in b/distrib/configure-bin.in
index 2dd90f0..2c42b52 100644
--- 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 "****************************************************"