From 1c817dcb71616bec9682861f49e568773e5285a8 Mon Sep 17 00:00:00 2001 From: Marcus Brinkmann <marcus@gnu.org> Date: Sat, 6 Oct 2001 22:50:31 +0000 Subject: 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. --- devel.html | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'devel.html') diff --git a/devel.html b/devel.html index 47dfae14..f7a8685d 100644 --- a/devel.html +++ b/devel.html @@ -25,7 +25,13 @@ <A HREF="/software/hurd/help.html">Getting Help</A><BR> <A HREF="/software/hurd/download.html">Source 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> + <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> -- cgit v1.2.3