[eigen3] 01/02: Remove compressed doc

[Anton Gladky]

This is an automated email from the git hooks/post-receive script.

gladk pushed a commit to branch master
in repository eigen3.

commit 0bcd692bf6585d19393dc51a9f27d0465663723b
Author: Anton Gladky <gladky.anton at gmail.com>
Date:   Fri Jun 19 08:21:23 2015 +0200

    Remove compressed doc
---
 debian/patches/07_remove_compressed_doc.patch | 15 +++++++++++++++
 debian/patches/series                         |  1 +
 2 files changed, 16 insertions(+)

diff --git a/debian/patches/07_remove_compressed_doc.patch b/debian/patches/07_remove_compressed_doc.patch
new file mode 100644
index 0000000..7847343
--- /dev/null
+++ b/debian/patches/07_remove_compressed_doc.patch
@@ -0,0 +1,15 @@
+Description: Remove compressed doc
+Author: Anton Gladky <gladk at debian.org>
+Last-Update: 2015-06-19
+
+--- eigen3-3.2.5.orig/doc/CMakeLists.txt
++++ eigen3-3.2.5/doc/CMakeLists.txt
+@@ -91,8 +91,6 @@ add_custom_target(doc ALL
+   COMMAND doxygen Doxyfile-unsupported
+   COMMAND ${CMAKE_COMMAND} -E rename html eigen-doc
+   COMMAND ${CMAKE_COMMAND} -E remove eigen-doc/eigen-doc.tgz
+-  COMMAND ${CMAKE_COMMAND} -E tar cfz eigen-doc.tgz eigen-doc
+-  COMMAND ${CMAKE_COMMAND} -E rename eigen-doc.tgz eigen-doc/eigen-doc.tgz
+   COMMAND ${CMAKE_COMMAND} -E rename eigen-doc html
+   WORKING_DIRECTORY ${Eigen_BINARY_DIR}/doc)
+ 
diff --git a/debian/patches/series b/debian/patches/series
index e0acc01..e3d0afe 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -4,3 +4,4 @@
 04_remove_piwik.patch
 05_remove_html_timestamp.patch
 06_remove_doc_matrix.patch
+07_remove_compressed_doc.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/eigen3.git