This bugzilla service is closed. All entries have been migrated to
Bug 961 - Proposal to reduce size of eigen-doc.tgz
Summary: Proposal to reduce size of eigen-doc.tgz
Alias: None
Product: Eigen
Classification: Unclassified
Component: Documentation (show other bugs)
Version: 3.2
Hardware: All All
: Normal Documentation
Assignee: Nobody
Depends on:
Reported: 2015-02-18 07:20 UTC by Sean
Modified: 2019-12-04 14:16 UTC (History)
5 users (show)


Description Sean 2015-02-18 07:20:51 UTC
Regarding , 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.
Comment 1 Benoit Jacob 2015-02-18 15:26:42 UTC
bjacob@pastis:~/eigen/$ 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.
Comment 2 Gael Guennebaud 2015-02-18 15:54:28 UTC
ouch, that's a rather embarrassing mistake :$

Comment 3 Thomas Capricelli 2015-02-18 20:01:41 UTC
i just read about this bug. Ouch indeed ! :)

Good fix by Gael of course.
Comment 4 Nobody 2019-12-04 14:16:10 UTC
-- GitLab Migration Automatic Message --

This bug has been migrated to'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:

Note You need to log in before you can comment on or make changes to this bug.