debian/patches: add a patch to make the build of Doxygen docs reproducible

The patch disables HTML_TIMESTAMPS as suggested here:
https://wiki.debian.org/ReproducibleBuilds/TimestampsInDocumentationGeneratedByDoxygen

diff --git a/debian/patches/doc-Doxyfile.in-set-HTML_TIMESTAMP-to-NO-to-make-the.patch b/debian/patches/doc-Doxyfile.in-set-HTML_TIMESTAMP-to-NO-to-make-the.patch
new file mode 100644 (file)
index 0000000..becd85f
--- /dev/null
+++ b/debian/patches/doc-Doxyfile.in-set-HTML_TIMESTAMP-to-NO-to-make-the.patch
@@ -0,0 +1,29 @@
+From f167e2792c7e4ca344167d88e80473e392879983 Mon Sep 17 00:00:00 2001
+From: Antonio Ospite <ao2@ao2.it>
+Date: Tue, 17 Nov 2015 18:24:42 +0100
+Subject: [PATCH] doc/Doxyfile.in: set HTML_TIMESTAMP to NO to make the build
+ reproducible
+X-Face: z*RaLf`X<@C75u6Ig9}{oW$H;1_\2t5)({*|jhM<pyWR#k60!#=#>/Vb;]yA5<GWI5`6u&+
+ ;6b'@y|8w"wB;4/e!7wYYrcqdJFY,~%Gk_4]cq$Ei/7<j&N3ah(m`ku?pX.&+~:_/wC~dwn^)MizBG
+ !pE^+iDQQ1yC6^,)YDKkxDd!T>\I~93>J<_`<4)A{':UrE
+
+---
+ doc/Doxyfile.in | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in
+index fa85ae9..b01224c 100644
+--- a/doc/Doxyfile.in
++++ b/doc/Doxyfile.in
+@@ -153,7 +153,7 @@ HTML_EXTRA_FILES       =
+ HTML_COLORSTYLE_HUE    = 220
+ HTML_COLORSTYLE_SAT    = 100
+ HTML_COLORSTYLE_GAMMA  = 80
+-HTML_TIMESTAMP         = YES
++HTML_TIMESTAMP         = NO
+ HTML_DYNAMIC_SECTIONS  = NO
+ HTML_INDEX_NUM_ENTRIES = 100
+ GENERATE_DOCSET        = NO
+-- 
+2.6.2
+

diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644 (file)
index 0000000..d92028b
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+doc-Doxyfile.in-set-HTML_TIMESTAMP-to-NO-to-make-the.patch