[eigen3] 01/02: Prevent HTML_TIMESTAMP in documentation.

[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 a0de5f3b32ec6424ae769891701371914f910589
Author: Anton Gladky <gladk at debian.org>
Date:   Wed Jun 17 06:29:45 2015 +0200

    Prevent HTML_TIMESTAMP in documentation.
---
 debian/patches/05_remove_html_timestamp.patch | 15 +++++++++++++++
 debian/patches/series                         |  1 +
 2 files changed, 16 insertions(+)

diff --git a/debian/patches/05_remove_html_timestamp.patch b/debian/patches/05_remove_html_timestamp.patch
new file mode 100644
index 0000000..40c527a
--- /dev/null
+++ b/debian/patches/05_remove_html_timestamp.patch
@@ -0,0 +1,15 @@
+Description: Do not set HTML_TIMESTAMP in documentation
+Author: Anton Gladky <gladk at debian.org>
+Last-Update: 2015-06-17
+
+--- eigen3-3.2.5.orig/doc/Doxyfile.in
++++ eigen3-3.2.5/doc/Doxyfile.in
+@@ -1005,7 +1005,7 @@ HTML_COLORSTYLE_GAMMA  = 80
+ # page will contain the date and time when the page was generated. Setting
+ # this to NO can help when comparing the output of multiple runs.
+ 
+-HTML_TIMESTAMP         = YES
++HTML_TIMESTAMP         = NO
+ 
+ # If the HTML_DYNAMIC_SECTIONS tag is set to YES then the generated HTML
+ # documentation will contain sections that can be hidden and shown after the
diff --git a/debian/patches/series b/debian/patches/series
index 2737c12..0cac697 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -2,3 +2,4 @@
 02_remove_buildtype_check.patch
 03_fix_spline_module.patch
 04_remove_piwik.patch
+05_remove_html_timestamp.patch

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