diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2001-10-06 22:50:31 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2001-10-06 22:50:31 +0000 |
| commit | 1c817dcb71616bec9682861f49e568773e5285a8 (patch) | |
| tree | da88f1b3c4a9157ed5a014ed05226905e2743610 /hurd-talk.html | |
| parent | ef7c67398917e203b5127812dbeab3c7724bc29c (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 'hurd-talk.html')
| -rw-r--r-- | hurd-talk.html | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/hurd-talk.html b/hurd-talk.html index b8fbc5d3..eff7fc03 100644 --- a/hurd-talk.html +++ b/hurd-talk.html @@ -25,7 +25,13 @@ <A HREF="/software/hurd/help.html">Getting Help</A><BR> <A HREF="/software/hurd/download.html">Download</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> + <BR> +<A HREF="/software/hurd/gnumach.html"><STRONG>GNU Mach</STRONG></A><BR> + <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 Code</A><BR> </TD> <TD ALIGN="LEFT" VALIGN="TOP"> <HR> |