From: maier
README
- User's Corner
- Developer's Corner
+ Users' Corner
+ Developers' Corner
diff --git a/deal.II/doc/developers/title.html b/deal.II/doc/developers/title.html
index efe22e6e10..c681f83537 100644
--- a/deal.II/doc/developers/title.html
+++ b/deal.II/doc/developers/title.html
@@ -16,7 +16,7 @@
- Developer's Corner
+ Developers' Corner
- The User's Corner provides information about + The Users' Corner provides information about configuration and usage of the library.
@@ -45,10 +45,10 @@ -- The Developer's Corner covers + The Developers' Corner covers topics for advanced users and developers.
diff --git a/deal.II/doc/navbar.html b/deal.II/doc/navbar.html index 6f1206eeb0..a52a2b4b73 100644 --- a/deal.II/doc/navbar.html +++ b/deal.II/doc/navbar.html @@ -20,8 +20,8 @@
README
- User's Corner
- Developer's Corner
+ Users' Corner
+ Developers' Corner
README
- User's Corner
- Developer's Corner
+ Users' Corner
+ Developers' Corner