Proposal to reduce size of eigen-doc.tgz

Submitted by Sean

Assigned to Nobody

Link to original bugzilla bug (#961)
Version: 3.2

Description

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.