Updated gnumach-install.html

[Alfred M. Szmidt]

This updates the version number of GNU Mach and adds a link to the GPG
signature file.  OK to apply?

--- gnumach-install.html.~1.7.~ 2002-09-06 20:07:38.000000000 +0200
+++ gnumach-install.html        2002-10-23 17:45:17.000000000 +0200
@@ -55,9 +55,11 @@
 
 <H3><A HREF="#TOCversion" NAME="version">Latest version</A></H3>
 <P>
-The last stable version of GNU Mach is 1.2, but it is recommended that
-you use the version in CVS instead, as this fixes some bugs that
-prevent the kernel to work on some systems.
+The last stable version of GNU Mach is 1.3 (<A
+HREF="ftp://ftp.gnu.org/gnu/gnumach/gnumach-1.3.tar.gz.sig";>GPG
+signature</A>), but it is recommended that you use the version in CVS
+instead, as this fixes some bugs that prevent the kernel to work on
+some systems.
 
 <H3><A HREF="#TOCinstall" NAME="install">Installation instructions</A></H3>
 <P>

-- 
Alfred M. Szmidt