Add a sentence to the warning at the end

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

diff --git a/deal.II/configure.in b/deal.II/configure.in
index e51619a5c502a59f650ed102a21f088a8bbe45b5..d7ff72539c7366363797838c2f4cd89d0151f8a4 100644 (file)
--- a/deal.II/configure.in
+++ b/deal.II/configure.in
@@ -589,6 +589,7 @@ if test "x$doxygen_not_found" = "xyes" ; then
   echo "     WARNING: documentation generation program could be found."
   echo "     WARNING: You can still use the library, but you won't be"
   echo "     WARNING: able to generate API documentation locally on"
-  echo "     WARNING: your machine."
+  echo "     WARNING: your machine. It is available for download,"
+  echo "     WARNING: however."
   echo
 fi