On 15 July 2010 10:54, Gerald Pfeifer 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! 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.