Bugzilla – Bug 961
Proposal to reduce size of eigen-doc.tgz
Last modified: 2015-02-18 20:01:41 UTC
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.