Regarding http://eigen.tuxfamily.org/dox/eigen-doc.tgz , I think we can shave about 4.7M off of this 11M file.
eigen-doc.tgz which contains ./eigen-doc/eigen-doc.tgz which is truncated. It looks like the build process for eigen-doc.tgz creates the archive within the directory that is being archived.
Not including the corrupt ./eigen-doc/eigen-doc.tgz within eigen-doc.tgz should reduce the file size by 4.7M with no negative impact.
bjacob@pastis:~/eigen/eigen.tuxfamily.org-web/htdocs$ ls -l dox/eigen-doc.tgz
-rw-rw-r-- 1 orzel eigen 11711274 Feb 18 05:50 dox/eigen-doc.tgz
-> CC'ing Thomas who has been maintaining the docs-generation cronjob.
ouch, that's a rather embarrassing mistake :$
i just read about this bug. Ouch indeed ! :)
Good fix by Gael of course.
-- GitLab Migration Automatic Message --
This bug has been migrated to gitlab.com's GitLab instance and has been closed from further activity.
You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.com/libeigen/eigen/issues/961.