summaryrefslogtreecommitdiff
path: root/install.html
diff options
context:
space:
mode:
authorMarcus Brinkmann <marcus@gnu.org>2001-10-06 22:50:31 +0000
committerMarcus Brinkmann <marcus@gnu.org>2001-10-06 22:50:31 +0000
commit1c817dcb71616bec9682861f49e568773e5285a8 (patch)
treeda88f1b3c4a9157ed5a014ed05226905e2743610 /install.html
parentef7c67398917e203b5127812dbeab3c7724bc29c (diff)
gnumach-doc: New directory. In that directory:
Makefile, fdl.texi, gpl.texi, mach.html, mach.ps, mach.texi, mach_1.html, mach_10.html, mach_11.html, mach_12.html, mach_13.html, mach_14.html, mach_15.html, mach_16.html, mach_17.html, mach_2.html, mach_3.html, mach_4.html, mach_5.html, mach_6.html, mach_7.html, mach_8.html, mach_9.html, mach_abt.html, mach_fot.html, mach_ovr.html, mach_toc.html, version.texi: New files. Those contain the source and generated files of the GNU Mach reference manual. gnumach-docs.html, gnumach-download.html, gnumach-install.html, gnumach.html: New files, containing information about gnumach. devel.html, docs.html, download.html, faq-gen.pl, faq.en.html, faq.fr.html, faq.ja.html, help.html, history.html, hurd-talk.html, hurd.html install.html: Add menu entries for the above new files, and some other minor modifications.
Diffstat (limited to 'install.html')
-rw-r--r--install.html8
1 files changed, 7 insertions, 1 deletions
diff --git a/install.html b/install.html
index b75532da..0b45845c 100644
--- a/install.html
+++ b/install.html
@@ -25,7 +25,13 @@
<A HREF="/software/hurd/help.html">Getting&nbsp;Help</A><BR>
<A HREF="/software/hurd/download.html">Source&nbsp;Code</A><BR>
<A HREF="/software/hurd/devel.html">Development</A><BR>
-<A HREF="/software/hurd/history.html">History</A>
+<A HREF="/software/hurd/history.html">History</A><BR>
+&nbsp;<BR>
+<A HREF="/software/hurd/gnumach.html"><STRONG>GNU&nbsp;Mach</STRONG></A><BR>
+&nbsp;<BR>
+<A HREF="/software/hurd/gnumach-docs.html">Documentation</A><BR>
+<A HREF="/software/hurd/gnumach-install.html">Installation</A><BR>
+<A HREF="/software/hurd/gnumach-download.html">Source&nbsp;Code</A><BR>
</TD>
<TD ALIGN="LEFT" VALIGN="TOP">
<HR>