On Mon, Jul 30, 2007 at 06:38:29PM +0200, Georg Baum wrote: > Andre Poenitz wrote: > > > Has anybody changed anything related to compression in, say, the two > > years leading to 1.5.0rc2? > > Yes. gzstream has been replaced by some boost thing.
Do you remember when approximately? > IIRC the boost thing supports more compression formats than gzip. I guess it would have been sufficient if it did gzip properly *sigh* <obrant>Is there a single thing in boost that really _works_?</obrant> > Maybe it is not correctly configured and simply produces the wrong > format? I have only the semi-broken document, no recipe how it was produced. Just saving and re-loading the UserGuide compressed and uncompressed seems to work, though. Andre'