PATCH: style.mhtml and the Java "Bugs" links

[Gerald Pfeifer]

We should always point to our bugs.html page, not directly into gnatsweb.

(If someone wants to add a direct link to gnatsweb on bugs.html instead
*that* might be a good idea, but we don't want readers of the Java pages
to bypass our regular instructions.)

Installed

Gerald

Index: style.mhtml
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/style.mhtml,v
retrieving revision 1.18
diff -u -3 -p -r1.18 style.mhtml
--- style.mhtml	2002/01/04 21:54:14	1.18
+++ style.mhtml	2002/01/07 13:58:51
@@ -110,7 +110,7 @@ permitted in any medium, provided this n
 <a href="test.html">Testing</a><br>
 <a href="contrib.html">Contributing</a><br>
 <a href="done.html">Done with Gcj</A><br>
-<a href="http://gcc.gnu.org/cgi-bin/gnatsweb.pl?user=guest&password=guest&database=gcc&cmd=login">Bugs</a><br>
+<a href="../bugs.html">Bugs</a><br>
 <a href="thanks.html">Thanks</a><br>
 <br><br><br>
 <a href="/">GCC</a><br>