Source: cwidget
Version: 0.5.17-1
Severity: wishlist
Tags: patch
User: reproducible-bui...@lists.alioth.debian.org
Usertags: timestamps
Hi!
As part of the “reproducible builds” project [1], we have discovered
that the documentation generated by Doxygen during cwidget build process
contained timestamps.
Together with #762622, this prevents cwidget builds to be reproducible.
We believe that these timestamps in the documentation are not really
useful, so the attached patch simply setup Doxygen to avoid writing
them.
[1]: https://wiki.debian.org/ReproducibleBuilds
--
Lunar.''`.
lu...@debian.org: :Ⓐ : # apt-get install anarchism
`. `'`
`-
diff -Nru cwidget-0.5.17/debian/changelog cwidget-0.5.17/debian/changelog
--- cwidget-0.5.17/debian/changelog 2014-02-27 20:41:11.0 +0100
+++ cwidget-0.5.17/debian/changelog 2014-09-24 11:05:58.0 +0200
@@ -1,3 +1,10 @@
+cwidget (0.5.17-1.0reproducible1) UNRELEASED; urgency=medium
+
+ * Add a patch to have Doxygen not write timestamps in the generated
+documentation to allow package builds to be reproducible.
+
+ -- Jérémy Bobbio Wed, 24 Sep 2014 09:05:52 +
+
cwidget (0.5.17-1) unstable; urgency=medium
* New upstream release
diff -Nru cwidget-0.5.17/debian/patches/do-not-write-timestamps-in-documentation cwidget-0.5.17/debian/patches/do-not-write-timestamps-in-documentation
--- cwidget-0.5.17/debian/patches/do-not-write-timestamps-in-documentation 1970-01-01 01:00:00.0 +0100
+++ cwidget-0.5.17/debian/patches/do-not-write-timestamps-in-documentation 2014-09-24 11:04:48.0 +0200
@@ -0,0 +1,24 @@
+Description: Do not write timestamps in documentation generated by Doxygen
+ In order to make the build reproducible, we configure Doxygen to skip
+ writing timestamps in the HTML documentation it generates.
+Author: Jérémy Bobbio
+Last-Update: 2014-09-24
+
+--- cwidget-0.5.17.orig/Doxyfile.in
cwidget-0.5.17/Doxyfile.in
+@@ -699,6 +699,15 @@ HTML_HEADER=
+
+ HTML_FOOTER=
+
++# If the HTML_TIMESTAMP tag is set to YES then the footer of each generated HTML
++# 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.
++# The default value is: YES.
++# This tag requires that the tag GENERATE_HTML is set to YES.
++
++HTML_TIMESTAMP = NO
++
++
+ # The HTML_STYLESHEET tag can be used to specify a user-defined cascading
+ # style sheet that is used by each HTML page. It can be used to
+ # fine-tune the look of the HTML output. If the tag is left blank doxygen
diff -Nru cwidget-0.5.17/debian/patches/series cwidget-0.5.17/debian/patches/series
--- cwidget-0.5.17/debian/patches/series 1970-01-01 01:00:00.0 +0100
+++ cwidget-0.5.17/debian/patches/series 2014-09-24 10:56:13.0 +0200
@@ -0,0 +1 @@
+do-not-write-timestamps-in-documentation
signature.asc
Description: Digital signature