From: Wolfgang Bangerth <bangerth@math.tamu.edu>
Date: Mon, 11 Mar 2002 09:20:00 +0000 (+0000)
Subject: Change final screen slightly.
X-Git-Tag: v8.0.0~18293
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4140a6d8d740cfa8458d385d565b1a6ed21740c4;p=dealii.git

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 38f7bd1f73..dc95072fe7 100755
--- 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 d9a0787dff..1438b00ad0 100644
--- 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