diff options
Diffstat (limited to 'distrib/configure-bin.in')
| -rw-r--r-- | distrib/configure-bin.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/distrib/configure-bin.in b/distrib/configure-bin.in index 956fb96dee..1e882ff8d9 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 "****************************************************" |