[SCM] Eigen3 packaging. branch, experimental, updated. upstream/3.1.0_alpha3_hg75350f0-64-g810115b

[Anton Gladky]

The following commit has been merged in the experimental branch:
commit 2f93b371bc0fcdbbb41ed22a6240c5764f1831a4
Author: Anton Gladky <gladky.anton at gmail.com>
Date:   Sun Jun 3 11:02:18 2012 +0200

    Remove unneded patch.

diff --git a/debian/patches/fix-doc-generation.patch b/debian/patches/fix-doc-generation.patch
deleted file mode 100644
index 3c488ca..0000000
--- a/debian/patches/fix-doc-generation.patch
+++ /dev/null
@@ -1,15 +0,0 @@
-Description: fix doc generation.
-Author: Anton Gladky <gladky.anton at gmail.com>
-Last-Update: 2011-12-06
-
---- a/doc/CMakeLists.txt
-+++ b/doc/CMakeLists.txt
-@@ -70,7 +70,7 @@
-   COMMAND doxygen
-   COMMAND doxygen Doxyfile-unsupported # run doxygen twice to get proper eigen <=> unsupported cross references
-   COMMAND ${CMAKE_COMMAND} -E rename html eigen-doc
--  COMMAND ${CMAKE_COMMAND} -E tar cvfz eigen-doc/eigen-doc.tgz eigen-doc/*.html eigen-doc/*.map eigen-doc/*.png eigen-doc/*.css eigen-doc/*.js eigen-doc/*.txt eigen-doc/unsupported
-+  COMMAND ${CMAKE_COMMAND} -E tar cvfz eigen-doc/eigen-doc.tgz eigen-doc/*.html eigen-doc/*.map eigen-doc/*.png eigen-doc/*.css eigen-doc/*.txt eigen-doc/unsupported
-   COMMAND ${CMAKE_COMMAND} -E rename eigen-doc html
-   WORKING_DIRECTORY ${Eigen_BINARY_DIR}/doc)
- 
diff --git a/debian/patches/series b/debian/patches/series
deleted file mode 100644
index 1d83ae5..0000000
--- a/debian/patches/series
+++ /dev/null
@@ -1 +0,0 @@
-fix-doc-generation.patch

-- 
Eigen3 packaging.