patch to java/thanks.html

[Gerald Pfeifer]

On 9 May 2001, Per Bothner wrote:
> So it seems this addition is reasonable:

Yes, I agree.

> If Gerald tells me the appropriate cvs incantation, I can check
> this in myself.

You can check out the GCC web pages exactly as you would check out a
regular CVS tree of GCC, just use the "wwwdocs" module instead of "gcc".
The actual web pages are then located in "wwwdocs/htdocs".

I'm a bit worried, though, about all the redundancy we still have. The
actualy "Thanks" section for GCC itself is now part of the regular texinfo
documentation in gcc/contrib.texi.

It would be good if there'd be some volunteer from the Java group (who is
well aware of contributions, I guess) who could merge these two.

Gerald
-- 
Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.dbai.tuwien.ac.at/~pfeifer/