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.000000000 +0100 +++ cwidget-0.5.17/debian/changelog 2014-09-24 11:05:58.000000000 +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 <lu...@debian.org> Wed, 24 Sep 2014 09:05:52 +0000 + 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.000000000 +0100 +++ cwidget-0.5.17/debian/patches/do-not-write-timestamps-in-documentation 2014-09-24 11:04:48.000000000 +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 <lu...@debian.org> +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.000000000 +0100 +++ cwidget-0.5.17/debian/patches/series 2014-09-24 10:56:13.000000000 +0200 @@ -0,0 +1 @@ +do-not-write-timestamps-in-documentation
signature.asc
Description: Digital signature
