]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
projects / dealii-svn.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: a290ee0)
Fix typos
authormaier <maier@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 26 Sep 2013 09:15:15 +0000 (09:15 +0000)
committermaier <maier@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 26 Sep 2013 09:15:15 +0000 (09:15 +0000)
git-svn-id: https://svn.dealii.org/trunk@30943 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/developers/navbar.html patch | blob | history
deal.II/doc/developers/title.html patch | blob | history
deal.II/doc/documentation.html patch | blob | history
deal.II/doc/navbar.html patch | blob | history
deal.II/doc/users/navbar.html patch | blob | history
deal.II/doc/users/title.html patch | blob | history

diff --git a/deal.II/doc/developers/navbar.html b/deal.II/doc/developers/navbar.html
index a91f7468feeaa66851c4a7b3e14e0acf76c4f4da..6c3c39a760de59dbaecc211fdf449a0f596a3401 100644 (file)
--- a/deal.II/doc/developers/navbar.html
+++ b/deal.II/doc/developers/navbar.html
@@ -22,8 +22,8 @@
 
   <p>
     <a href="../readme.html" target="body">README</a><br />
-    <a href="../users/index.html" target="_top">User's Corner</a><br />
-    <a href="index.html" target="_top">Developer's Corner</a><br />
+    <a href="../users/index.html" target="_top">Users' Corner</a><br />
+    <a href="index.html" target="_top">Developers' Corner</a><br />
   </p>
 
   <hr>
diff --git a/deal.II/doc/developers/title.html b/deal.II/doc/developers/title.html
index efe22e6e1088aea2964f62779aeba7d9ada7df30..c681f83537037a946f378020d4c2077eaef74527 100644 (file)
--- a/deal.II/doc/developers/title.html
+++ b/deal.II/doc/developers/title.html
@@ -16,7 +16,7 @@
 <body class="title">
   <div class="fixedhead">
     <h1 class="head">
-      Developer's Corner
+      Developers' Corner
     </h1>
   </div>
 </body>
diff --git a/deal.II/doc/documentation.html b/deal.II/doc/documentation.html
index bfb9733741ac455b192e91fd2bf817ba6a306960..1f723fcf0f7775feca3175b087b12890b719e0d0 100644 (file)
--- a/deal.II/doc/documentation.html
+++ b/deal.II/doc/documentation.html
@@ -29,10 +29,10 @@
 </p>
 
 
-<h2><a href="users/index.html" TARGET="_top">User's Corner</a></h2>
+<h2><a href="users/index.html" TARGET="_top">Users' Corner</a></h2>
 
 <p>
-  The <a href="users/index.html">User's Corner</a> provides information about
+  The <a href="users/index.html">Users' Corner</a> provides information about
   configuration and usage of the library.
 </p>
 
@@ -45,10 +45,10 @@
 </div>
 
 
-<h2><a href="developers/index.html" TARGET="_top">Developer's Corner</a></h2>
+<h2><a href="developers/index.html" TARGET="_top">Developers' Corner</a></h2>
 
 <p>
-  The <a href="developers/index.html">Developer's Corner</a> covers
+  The <a href="developers/index.html">Developers' Corner</a> covers
   topics for advanced users and developers.
 </p>
 
diff --git a/deal.II/doc/navbar.html b/deal.II/doc/navbar.html
index 6f1206eeb064e95346a4c8ebe65fd167d1e5dee0..a52a2b4b7305a62ca73b099d7c04393dbce71998 100644 (file)
--- a/deal.II/doc/navbar.html
+++ b/deal.II/doc/navbar.html
@@ -20,8 +20,8 @@
 
     <p>
       <a href="readme.html" target="body">README</a><br />
-      <a href="users/index.html" target="_top">User's Corner</a><br />
-      <a href="developers/index.html" target="_top">Developer's Corner</a><br />
+      <a href="users/index.html" target="_top">Users' Corner</a><br />
+      <a href="developers/index.html" target="_top">Developers' Corner</a><br />
     </p>
 
     <hr>
diff --git a/deal.II/doc/users/navbar.html b/deal.II/doc/users/navbar.html
index dfc3c1febdf0db8c2408914e1ed95cc1fb3ece2f..423d8237431a6f66413c1c60ef0ff6262d380b9a 100644 (file)
--- a/deal.II/doc/users/navbar.html
+++ b/deal.II/doc/users/navbar.html
@@ -22,8 +22,8 @@
 
   <p>
     <a href="../readme.html" target="body">README</a><br />
-    <a href="index.html" target="_top">User's Corner</a><br />
-    <a href="../developers/index.html" target="_top">Developer's Corner</a><br />
+    <a href="index.html" target="_top">Users' Corner</a><br />
+    <a href="../developers/index.html" target="_top">Developers' Corner</a><br />
   </p>
 
   <hr>
diff --git a/deal.II/doc/users/title.html b/deal.II/doc/users/title.html
index 8249f23359fe1471561d32da49f73778ea73f0c8..86ff2ea4f7766574ff9dde7fdc755c6555a340f6 100644 (file)
--- a/deal.II/doc/users/title.html
+++ b/deal.II/doc/users/title.html
@@ -16,7 +16,7 @@
 <body class="title">
   <div class="fixedhead">
     <h1 class="head">
-      User's Corner
+      Users' Corner
     </h1>
   </div>
 </body>
Git mirror of the historical svn repository

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.