Change final screen slightly.

git-svn-id: https://svn.dealii.org/trunk@5554 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/configure b/deal.II/configure
index 38f7bd1f737c524027b19c71c05595fbb27a0fd9..dc95072fe7fc392ff1b4ad60106d9e98d54ad889 100755 (executable)
--- a/deal.II/configure
+++ b/deal.II/configure
@@ -1,5 +1,5 @@
 #! /bin/sh
-# From configure.in Revision: 1.95 .
+# From configure.in Revision: 1.97 .
 # Guess values for system-dependent variables and create Makefiles.
 # Generated by Autoconf 2.52.
 #
@@ -5529,10 +5529,10 @@ echo
 echo
 echo -------------------------------------------------------------
 echo
-echo "     The deal.II library is now configured.  In order to"
-echo "     compile it and to generate the documentation,  just"
-echo "     call the 'make' command without arguments. For more"
-echo "     information, see the Readme file."
+echo "     The  deal.II  library is now configured. In order to"
+echo "     compile it and to generate the  documentation,  just"
+echo "     call 'make' without arguments for a list of options."
+echo "     For more information, see the Readme file."
 echo
 echo -------------------------------------------------------------
 echo

diff --git a/deal.II/configure.in b/deal.II/configure.in
index d9a0787dff0678ab0874b06227595faac3a43f7e..1438b00ad02508a2d0fa5e7f9907371667a4513e 100644 (file)
--- a/deal.II/configure.in
+++ b/deal.II/configure.in
@@ -344,10 +344,10 @@ echo
 echo
 echo -------------------------------------------------------------
 echo
-echo "     The deal.II library is now configured.  In order to"
-echo "     compile it and to generate the documentation,  just"
-echo "     call the 'make' command without arguments. For more"
-echo "     information, see the Readme file."
+echo "     The  deal.II  library is now configured. In order to"
+echo "     compile it and to generate the  documentation,  just"
+echo "     call 'make' without arguments for a list of options."
+echo "     For more information, see the Readme file."
 echo
 echo -------------------------------------------------------------
 echo