On Sat, Nov 19, 2016 at 02:30:26PM +0000, Jerome BENOIT wrote: > I am dealing with manual.six.gz files here. > When they are uncompressed with gunzip all is fine; when they are compressed > again with > gzip, the issue reappears: I am afraid that no extra byte is involved here. > Second, I cannot see this extra byte in the involved manual.six files.
If Sage use libgap to read manual.six.gz, then you need to apply fix-compressed-six-files to libgap as well, then. Cheers, Bill.
