what to do with libstdc++'s thanks.html ?

[Phil Edwards <pedwards at disaster dot jaj dot com>]

I was going to make some more additions to
wwwdocs/htdocs/libstdc++/thanks.html, when I remembered that gcc already
has one.  I feel we should recognize those folks as well; many of them
have contributed a number of hours that just stuns me; we'd be much worse
off if not for their help.

But what to do with the two files?  Merging them is a possibility, but
we've traditionally been mentioning/listing the contributions that the
volunteers have make to libstdc++, and gcc's thanks.html would suddenly
become a lot bigger.  (Also, I won't have time to do this myself.)

Linking from gcc's thanks.html to libstdc++'s thanks.html is another
possibility.  If other projects have "contributors" pages, I can mention
them all in one fell swoop.


Phil

-- 
pedwards at disaster dot jaj dot com  |  pme at sources dot redhat dot com
devphil at several other less interesting addresses in various dot domains
The gods do not protect fools.  Fools are protected by more capable fools.