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 b73d4de5de96d310a30cc180940c8054381467d4..f2da76b7cae44176524d0c1c0398e3aee0ef8d87 100644 (file)
--- 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
    */