PATCH: java/index.html

[Gerald Pfeifer]

Installed.

2001-02-05  Gerald Pfeifer  <pfeifer@dbai.tuwien.ac.at>

        * index.html: Fix broken link to GDB.

(There are also lots of redirections from java/mail.html to lists.html,
but fixing that can wait until Tom has simplified the redundant encoding
of the navigation bar.)

Gerald

Index: index.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/java/index.html,v
retrieving revision 1.67
diff -u -3 -p -r1.67 index.html
--- index.html	2001/01/28 22:55:45	1.67
+++ index.html	2001/02/05 09:08:46
@@ -216,7 +216,7 @@ in mixed compiled/interpreted systems.
 <p>

 Compiled Java applications are debugged using recent versions of the
-GNU debugger, <a href="/gdb">GDB</a>.
+GNU debugger, <a href=" http://sources.redhat.com/gdb/ ">GDB</a>.
 A <a href="gdb.html">short tutorial</a> on using GDB to debug
 GCJ-compiled applications is available.