``The Mach Paging Interface as Used by the Hurd'', a text by Neal Walfield.

1 files changed, 15 insertions, 4 deletions

diff --git a/docs.html b/docs.html
index 3f8224f4..8ca9e851 100644
--- a/docs.html
+++ b/docs.html
@@ -47,27 +47,32 @@
 &nbsp;<BR>
 <A HREF="/software/hurd/related-projects.html"><STRONG>Related&nbsp;Projects</STRONG></A>
 </TD>
+
 <TD ALIGN="LEFT" VALIGN="TOP">
 <HR>
 <H3><A NAME="contents">Table of Contents</A></H3>
 <UL>
-  <li><a href="#papers" name="TOCpapers">Introductory material and papers</a>
+  <li><a href="#papers" name="TOCpapers">Introductory material, papers and
+  other informational documents</a>
   <LI><A HREF="#faq" NAME="TOCfaq">Frequently asked questions</A>
   <li><a href="#wiki" name="TOCwiki">Wiki</a>
   <LI><A HREF="#manuals" NAME="TOCmanuals">Reference manuals</A>
 </UL>
 <HR>
 
-<h3><a href="#TOCpapers" name="papers">Introductory material and
-papers</a></h3>
+<h3><a href="#TOCpapers" name="papers">Introductory material, papers and other
+informational documents</a></h3>
 <P>
 <UL>
+
 <LI>
 <A HREF="hurd-paper.html">Towards a New Strategy of OS Design</A>, an
 architectural overview by Thomas Bushnell, BSG.
+
 <LI>
 <A HREF="hurd-talk.html">The Hurd</A>, a presentation by Marcus
 Brinkmann.
+
 <LI>
 <A HREF="/software/hurd/users-guide/using_gnuhurd.html" NAME="UsersGuide">  
 GNU/Hurd User's Guide</A>, an introduction to the important 
@@ -87,6 +92,7 @@ for download.
 <LI>
 <A HREF="/software/hurd/users-guide/using_gnuhurd.texi">Texinfo source [155kB]</A>.
 </UL>
+
 <LI>
 <A HREF="/software/hurd/hacking-guide/hhg.html">The Hurd Hacking
 Guide</A>, an introduction to GNU&nbsp;Hurd and Mach programming by
@@ -105,11 +111,16 @@ for download.
 <LI>
 <A HREF="/software/hurd/hacking-guide/hhg.texi">Texinfo source [60kB]</A>.
 </UL>
+
 <LI>
 <A HREF="auth.html">The Authentication Server</A>, the transcript of a talk about the details of
 the authentication mechanisms in the Hurd by Wolfgang J&auml;hrling.
 
 <li><a
+href="http://lists.gnu.org/archive/html/l4-hurd/2002-06/msg00001.html"><em>The
+Mach Paging Interface as Used by the Hurd</em></a>, a text by Neal Walfield.
+
+<li><a
 href="http://lists.gnu.org/archive/html/bug-hurd/2007-01/msg00046.html"><em>A
 Critique of the GNU&nbsp;Hurd Multi-server Operating System</em></a>, an
 analysis of the GNU&nbsp;Hurd on GNU&nbsp;Mach system, written by Neal Walfield
@@ -133,7 +144,7 @@ answers, which cover most issues a new user will be confronted with.
 This document is available in several languages:
 <UL>
 <LI><A HREF="faq.en.html">English</A>
-<LI><A HREF="faq.fr.html">français</A>
+<LI><A HREF="faq.fr.html">fran&ccedil;ais</A>
 <LI><A HREF="faq.de.html">deutsch</A>
 <LI><A HREF="faq.ja.html">Japanese</A>
 <LI><A HREF="faq.es.html">espa&ntilde;ol</A>