On Sun, Dec 11, 2016 at 07:37:00PM +0000, Ximin Luo wrote: > But the "corrupt" file is not "/usr/share/gap/doc/tut/manual.six.gz", the > "read" call gave back exactly what was expected. In fact the actual > "corrupted" files are the manual files from alnuth and autogrp. if you run: > > $ sudo gunzip /usr/share/gap/pkg/AutPGrp/doc/manual.six.gz > $ sudo gunzip /usr/share/gap/pkg/Alnuth/doc/manual.six.gz
GAP itself handles the compressed old-style .six files correctly. They are not corrupted. Cheers, -- Bill. <ballo...@debian.org> Imagine a large red swirl here.