-echo "**************************************************"
-echo "Configuration done, ready to either `make install' "
-echo ""
+echo "****************************************************"
+echo "Configuration done, ready to either 'make install'"
+echo "or 'make in-place', followed by 'make install-docs'."