summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs.html50
1 files changed, 42 insertions, 8 deletions
diff --git a/docs.html b/docs.html
index 880623bf..3f8224f4 100644
--- a/docs.html
+++ b/docs.html
@@ -157,6 +157,39 @@ direction of the GNU Hurd</a>.
<H3><A HREF="#TOCmanuals" NAME="manuals">Reference manuals</A></H3>
+
+<ul>
+
+<li>
+<p>
+The GNU&nbsp;Mach Reference Manual documents the architecture, the usage and
+the programming of the GNU&nbsp;Mach microkernel. At the moment, the manual
+documents the interface completely, but is not very useful as a tutorial or
+introduction into the Mach architecture.
+<p>
+Available Formats:
+<ul>
+<li><a href="/software/hurd/gnumach-doc/index.html">HTML version</a>
+for browsing online;</li>
+<li><a href="/software/hurd/gnumach-doc/mach.ps">PostScript version</a>
+[around 900KiB];</li>
+<li><a href="/software/hurd/gnumach-doc/mach.ps.gz">gzipped PostScript
+version</a> [around 300KiB];</li>
+<li><a href="/software/hurd/gnumach-doc/mach.pdf">PDF version</a>
+[around 700KiB].</li>
+</ul>
+<p>
+If you want to work on the manual, you're advised to make a checkout of the <a
+href="gnumach-download.html#cvs">source tree</a>. Be sure to get the
+<samp>GNU&nbsp;Mach 1 branch</samp> when you intend to work on the manual. You
+can then find the manual's sources in the <samp>doc/</samp> directory. Please
+submit any modifications to <a
+href="mailto:bug-hurd@gnu.org">&lt;bug-hurd@gnu.org&gt;</a> (if possible in
+unidiff format, as produced by <samp>diff -u</samp>).
+
+</li>
+
+<li>
<P>
The GNU&nbsp;Hurd Reference Manual documents the architecture, the usage
and the programming of the GNU&nbsp;Hurd. At the moment, the manual is
@@ -173,14 +206,15 @@ for download.
</LI>
</UL>
<P>
-If you want to work on the manual, you may also download the Texinfo
-sources
-(<A HREF="http://savannah.gnu.org/cgi-bin/viewcvs/~checkout~/hurd/hurd/doc/hurd.texi?rev=HEAD"><SAMP>hurd.texi</SAMP> [193k]</A>,
-<A HREF="http://savannah.gnu.org/cgi-bin/viewcvs/~checkout~/hurd/hurd/doc/gpl.texinfo?rev=HEAD"><SAMP>gpl.texinfo</SAMP> [18k]</A>,
-and <A HREF="http://savannah.gnu.org/cgi-bin/viewcvs/~checkout~/hurd/hurd/doc/version.texi?rev=HEAD"><SAMP>version.texi</SAMP></A>).
-Then, you should submit any modifications to
-<A HREF="mailto:bug-hurd@gnu.org">bug-hurd@gnu.org</A> in unidiff format
-(produced by <SAMP>diff -u</SAMP>).
+If you want to work on the manual, you're advised to make a checkout of the <a
+href="download.html#cvs">source tree</a>. You can then find the manual's
+sources in the <samp>doc/</samp> directory. Please submit any modifications to
+<a href="mailto:bug-hurd@gnu.org">&lt;bug-hurd@gnu.org&gt;</a> (if possible in
+unidiff format, as produced by <samp>diff -u</samp>).
+
+</li>
+
+</ul>
</TD>
</TR>