Gael Guennebaud e589e3f0b6 simplify eigen-doc.tgz file generation, and make it more future proof
(transplanted from aa1aa36d6da6ed349678975f1d93c7dc415257bc
)
2012-08-27 10:56:44 +02:00
..
2012-08-27 10:30:10 +02:00
2011-12-03 10:26:00 +01:00
2012-06-11 18:49:30 +02:00
2008-11-24 13:40:43 +00:00