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