Patch: web pages -vs- Java

[Tom Tromey]

>>>>> "Gerald" == Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at> writes:

Gerald> Yes, thanks, with most minor changes.

I'll make them and commit soon.

Gerald> Now that Java is on the same sites (gcc.gnu.org, www.gnu.org)
Gerald> as the other pages, this should become a relative link:
Gerald> href="java/"

There are plenty of non-relative links in, eg, index.html.
I'll convert mine though.

Tom