[SCM] Eigen3 packaging. branch, master, updated. upstream/3.0.3-50-g9cefd99

[Anton Gladky]

The following commit has been merged in the master branch:
commit 2212e304f81dc534bdc42cd4b5f0b036ea9c087a
Author: Anton Gladky <gladky.anton at gmail.com>
Date:   Tue Dec 6 21:19:11 2011 +0100

    Fix doc-generation (patch).

diff --git a/debian/patches/fix-doc-generation.patch b/debian/patches/fix-doc-generation.patch
new file mode 100644
index 0000000..42200f6
--- /dev/null
+++ b/debian/patches/fix-doc-generation.patch
@@ -0,0 +1,11 @@
+--- 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
new file mode 100644
index 0000000..1d83ae5
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+fix-doc-generation.patch

-- 
Eigen3 packaging.