onlinedocs/libstdc++ appears stale

[Gerald Pfeifer]

On Thu, 15 Jul 2010, Jonathan Wakely wrote:
>> How shall we address this for real? Â Is it really worthwhile to 
>> manually generate those .html.gz files for onlinedocs/libstdc++ or 
>> could we simply omit that step? Â Not sure it's really worth the 
>> hassles?
> I have no idea why we gzip them, it certainly isn't saving any
> diskspace if we end up with the .html *and* the .html.gz!

The fact that we have both is a "bug" from all I can tell, not by
design.

> Benjamin has already started making some changes so that all the
> libstdc++ docs can be generated automatically and put under
> /onlinedocs as is done for the compiler docs.

Ah, cool.  Benjamin, if there is any way I can help, let me know!

Gerald