On Sun, Dec 11, 2016 at 11:41:22PM +0100, Bill Allombert wrote: > On Sun, Dec 11, 2016 at 10:15:00PM +0000, Ximin Luo wrote: > > So it seems saving a workspace, even an "empty" one, then loading it > > again, causes GAP to be unable to parse the old-style manuals. > > Well, if you remove gap-alnuth and gap-autpgrp, then it still report > problems: > > yellowpig - /tmp%echo 'SaveWorkspace("./test.w");' | gap -q -b > true > true > yellowpig - /tmp%echo '?FieldByMatricesNC;' | gap -q -b -L ./test.w > #W corrupted 'manual.six': ##W (in stream: > InputTextFile(/usr/share/gap/doc/t\ > ut/manual.six)) > #W corrupted 'manual.six': ##W (in stream: > InputTextFile(/usr/share/gap/doc/c\ > hanges/manual.six)) > #W corrupted 'manual.six': ##W (in stream: > InputTextFile(/usr/share/gap/pkg/G\ > APDoc/example/manual.six)) > Help: no matching entry found > > Also this seems to work with GAP 4.7.5 in jessie which has the same > patch applied.
I mean, in my tests, it works correctly with GAP 4.7.5, but it does not work with GAP 4.8.2 and 4.8.6. Cheers, -- Bill. <ballo...@debian.org> Imagine a large red swirl here.