From 536b6dde1ae8159893a4a3aeca8f982f7d947525 Mon Sep 17 00:00:00 2001 From: wolf Date: Mon, 11 Mar 2002 09:20:00 +0000 Subject: [PATCH] Change final screen slightly. git-svn-id: https://svn.dealii.org/trunk@5554 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/configure | 10 +++++----- deal.II/configure.in | 8 ++++---- 2 files changed, 9 insertions(+), 9 deletions(-) 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 -- 2.39.5