Move the content from `gnumach-docs.html' into `docs.html' and have

`gnumach-docs.html' be a symbolic link pointing to `docs.html'.

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>