From 478140e7180c3173bb8c930cd8264bf3c37b481e Mon Sep 17 00:00:00 2001
From: Matthias Maier
Date: Thu, 26 Sep 2013 09:15:15 +0000
Subject: [PATCH] Fix typos
git-svn-id: https://svn.dealii.org/trunk@30943 0785d39b-7218-0410-832d-ea1e28bc413d
---
deal.II/doc/developers/navbar.html | 4 ++--
deal.II/doc/developers/title.html | 2 +-
deal.II/doc/documentation.html | 8 ++++----
deal.II/doc/navbar.html | 4 ++--
deal.II/doc/users/navbar.html | 4 ++--
deal.II/doc/users/title.html | 2 +-
6 files changed, 12 insertions(+), 12 deletions(-)
diff --git a/deal.II/doc/developers/navbar.html b/deal.II/doc/developers/navbar.html
index a91f7468fe..6c3c39a760 100644
--- a/deal.II/doc/developers/navbar.html
+++ b/deal.II/doc/developers/navbar.html
@@ -22,8 +22,8 @@
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
diff --git a/deal.II/doc/documentation.html b/deal.II/doc/documentation.html
index bfb9733741..1f723fcf0f 100644
--- a/deal.II/doc/documentation.html
+++ b/deal.II/doc/documentation.html
@@ -29,10 +29,10 @@
-
+
- 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
diff --git a/deal.II/doc/users/navbar.html b/deal.II/doc/users/navbar.html
index dfc3c1febd..423d823743 100644
--- a/deal.II/doc/users/navbar.html
+++ b/deal.II/doc/users/navbar.html
@@ -22,8 +22,8 @@
README
- User's Corner
- Developer's Corner
+ Users' Corner
+ Developers' Corner
diff --git a/deal.II/doc/users/title.html b/deal.II/doc/users/title.html
index 8249f23359..86ff2ea4f7 100644
--- a/deal.II/doc/users/title.html
+++ b/deal.II/doc/users/title.html
@@ -16,7 +16,7 @@
- User's Corner
+ Users' Corner
--
2.39.5