fix the headers at the top of the tor-doc html files

svn:r6025

6 files changed, 42 insertions, 60 deletions

diff --git a/doc/tor-doc-osx.html b/doc/tor-doc-osx.html
index 551fd8fc22..ad765f797f 100644
--- a/doc/tor-doc-osx.html
+++ b/doc/tor-doc-osx.html
@@ -19,16 +19,13 @@
     <tr>
         <td class="banner-left"></td>
         <td class="banner-middle">
-            <a href="/index.html">Home</a>
-          | <a href="/howitworks.html">How It Works</a>
-          | <a href="/download.html">Download</a>
-          | <a href="/documentation.html">Docs</a>
-          | <a href="/users.html">Users</a>
-          | <a href="/faq.html">FAQs</a>
-          | <a href="/volunteer.html">Volunteer</a>
-          | <a href="/developers.html">Developers</a>
-          | <a href="/research.html">Research</a>
-          | <a href="/people.html">People</a>
+<a href="/home">Home</a>
+<a href="/overview">Overview</a>
+<a href="/download">Download</a>
+<a href="/documentation">Docs</a>
+<a href="/volunteer">Volunteer</a>
+<a href="/people">People</a>
+<a href="/donate">Donate!</a>
         </td>
         <td class="banner-right"></td>
     </tr>
diff --git a/doc/tor-doc-server.html b/doc/tor-doc-server.html
index 7afd44daa5..5471295cb5 100644
--- a/doc/tor-doc-server.html
+++ b/doc/tor-doc-server.html
@@ -18,16 +18,13 @@
     <tr>
         <td class="banner-left"></td>
         <td class="banner-middle">
-            <a href="/index.html">Home</a>
-          | <a href="/howitworks.html">How It Works</a>
-          | <a href="/download.html">Download</a>
-          | <a href="/documentation.html">Docs</a>
-          | <a href="/users.html">Users</a>
-          | <a href="/faq.html">FAQs</a>
-          | <a href="/volunteer.html">Volunteer</a>
-          | <a href="/developers.html">Developers</a>
-          | <a href="/research.html">Research</a>
-          | <a href="/people.html">People</a>
+<a href="/home">Home</a>
+<a href="/overview">Overview</a>
+<a href="/download">Download</a>
+<a href="/documentation">Docs</a>
+<a href="/volunteer">Volunteer</a>
+<a href="/people">People</a>
+<a href="/donate">Donate!</a>
         </td>
         <td class="banner-right"></td>
     </tr>
diff --git a/doc/tor-doc-unix.html b/doc/tor-doc-unix.html
index 909d80e940..d4f7465eb7 100644
--- a/doc/tor-doc-unix.html
+++ b/doc/tor-doc-unix.html
@@ -18,16 +18,13 @@
     <tr>
         <td class="banner-left"></td>
         <td class="banner-middle">
-            <a href="/index.html">Home</a>
-          | <a href="/howitworks.html">How It Works</a>
-          | <a href="/download.html">Download</a>
-          | <a href="/documentation.html">Docs</a>
-          | <a href="/users.html">Users</a>
-          | <a href="/faq.html">FAQs</a>
-          | <a href="/volunteer.html">Volunteer</a>
-          | <a href="/developers.html">Developers</a>
-          | <a href="/research.html">Research</a>
-          | <a href="/people.html">People</a>
+<a href="/home">Home</a>
+<a href="/overview">Overview</a>
+<a href="/download">Download</a>
+<a href="/documentation">Docs</a>
+<a href="/volunteer">Volunteer</a>
+<a href="/people">People</a>
+<a href="/donate">Donate!</a>
         </td>
         <td class="banner-right"></td>
     </tr>
diff --git a/doc/tor-doc-win32.html b/doc/tor-doc-win32.html
index 3e3a7904bc..89ec84f29a 100644
--- a/doc/tor-doc-win32.html
+++ b/doc/tor-doc-win32.html
@@ -18,16 +18,13 @@
     <tr>
         <td class="banner-left"></td>
         <td class="banner-middle">
-            <a href="/index.html">Home</a>
-          | <a href="/howitworks.html">How It Works</a>
-          | <a href="/download.html">Download</a>
-          | <a href="/documentation.html">Docs</a>
-          | <a href="/users.html">Users</a>
-          | <a href="/faq.html">FAQs</a>
-          | <a href="/volunteer.html">Volunteer</a>
-          | <a href="/developers.html">Developers</a>
-          | <a href="/research.html">Research</a>
-          | <a href="/people.html">People</a>
+<a href="/home">Home</a>
+<a href="/overview">Overview</a>
+<a href="/download">Download</a>
+<a href="/documentation">Docs</a>
+<a href="/volunteer">Volunteer</a>
+<a href="/people">People</a>
+<a href="/donate">Donate!</a>
         </td>
         <td class="banner-right"></td>
     </tr>
diff --git a/doc/tor-hidden-service.html b/doc/tor-hidden-service.html
index 7805e069c1..85a2ca617e 100644
--- a/doc/tor-hidden-service.html
+++ b/doc/tor-hidden-service.html
@@ -18,16 +18,13 @@
     <tr>
         <td class="banner-left"></td>
         <td class="banner-middle">
-            <a href="/index.html">Home</a>
-          | <a href="/howitworks.html">How It Works</a>
-          | <a href="/download.html">Download</a>
-          | <a href="/documentation.html">Docs</a>
-          | <a href="/users.html">Users</a>
-          | <a href="/faq.html">FAQs</a>
-          | <a href="/volunteer.html">Volunteer</a>
-          | <a href="/developers.html">Developers</a>
-          | <a href="/research.html">Research</a>
-          | <a href="/people.html">People</a>
+<a href="/home">Home</a>
+<a href="/overview">Overview</a>
+<a href="/download">Download</a>
+<a href="/documentation">Docs</a>
+<a href="/volunteer">Volunteer</a>
+<a href="/people">People</a>
+<a href="/donate">Donate!</a>
         </td>
         <td class="banner-right"></td>
     </tr>
diff --git a/doc/tor-switchproxy.html b/doc/tor-switchproxy.html
index 50f9ff222c..746ce8c0f7 100644
--- a/doc/tor-switchproxy.html
+++ b/doc/tor-switchproxy.html
@@ -18,16 +18,13 @@
     <tr>
         <td class="banner-left"></td>
         <td class="banner-middle">
-            <a href="/index.html">Home</a>
-          | <a href="/howitworks.html">How It Works</a>
-          | <a href="/download.html">Download</a>
-          | <a href="/documentation.html">Docs</a>
-          | <a href="/users.html">Users</a>
-          | <a href="/faq.html">FAQs</a>
-          | <a href="/volunteer.html">Volunteer</a>
-          | <a href="/developers.html">Developers</a>
-          | <a href="/research.html">Research</a>
-          | <a href="/people.html">People</a>
+<a href="/home">Home</a>
+<a href="/overview">Overview</a>
+<a href="/download">Download</a>
+<a href="/documentation">Docs</a>
+<a href="/volunteer">Volunteer</a>
+<a href="/people">People</a>
+<a href="/donate">Donate!</a>
         </td>
         <td class="banner-right"></td>
     </tr>