From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Sun, 22 Jul 2018 15:41:28 +0000 (-0600)
Subject: Use a better text to describe what we do.
X-Git-Tag: v9.1.0-rc1~902^2~1
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8893293730280d9ea45fa23a277c18fc4c587a75;p=dealii.git

Use a better text to describe what we do.
---

diff --git a/include/deal.II/grid/grid_tools.h b/include/deal.II/grid/grid_tools.h
index b73d4de5de..f2da76b7ca 100644
--- a/include/deal.II/grid/grid_tools.h
+++ b/include/deal.II/grid/grid_tools.h
@@ -699,7 +699,8 @@ namespace GridTools
    *   std::vector<std::vector<Point<dim>>>,
    *   std::vector<std::vector<unsigned int>>>
    * @endcode
-   * The type is abbreviated above to improve readability of this page.
+   * The type is abbreviated in the online documentation to improve readability
+   * of this page.
    *
    * @author Giovanni Alzetta, 2017
    */
@@ -776,7 +777,8 @@ namespace GridTools
    *   std::vector<std::vector<Point<spacedim>>>,
    *   std::vector<std::vector<unsigned int>>>
    * @endcode
-   * The type is abbreviated above to improve readability of this page.
+   * The type is abbreviated in the online documentation to improve readability
+   * of this page.
    *
    * @author Giovanni Alzetta, 2017-2018
    */
@@ -1532,7 +1534,8 @@ namespace GridTools
    *            std::map< unsigned int, unsigned int>,
    *            std::map< unsigned int, std::vector<unsigned int>>>
    * @endcode
-   * The type is abbreviated above to improve readability of this page.
+   * The type is abbreviated in the online documentation to improve readability
+   * of this page.
    *
    * @author Giovanni Alzetta, 2017
    */