]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Change final screen slightly.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 11 Mar 2002 09:20:00 +0000 (09:20 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 11 Mar 2002 09:20:00 +0000 (09:20 +0000)
git-svn-id: https://svn.dealii.org/trunk@5554 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/configure
deal.II/configure.in

index 38f7bd1f737c524027b19c71c05595fbb27a0fd9..dc95072fe7fc392ff1b4ad60106d9e98d54ad889 100755 (executable)
@@ -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
index d9a0787dff0678ab0874b06227595faac3a43f7e..1438b00ad02508a2d0fa5e7f9907371667a4513e 100644 (file)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.