diff --git a/distrib/configure-bin.in b/distrib/configure-bin.in
index 956fb96deea61cf34adaa4167f09123ec5ac8de2..1e882ff8d92c77a7854625dda0451c6239b623ed 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 "****************************************************"