Package: gamera / 1:3.4.2+git20160808.1725654-1

0012-docs-no-modified-timestamp.patch Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
From 273693392948feefb2cb51460d56396d0ba275a9 Mon Sep 17 00:00:00 2001
From: Daniel Stender <debian@danielstender.com>
Date: Sat, 17 Oct 2015 18:59:53 +0200
Subject: docs-no-modified-timestamp

   prevent docs generator to put "Last Modified:" timestamp into HTML pages
   for reproducible building.
   Bug: https://bugs.debian.org/784680
   Forwarded: not-needed
---
 gamera/gendoc.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gamera/gendoc.py b/gamera/gendoc.py
index 4c17b01..db05a81 100644
--- a/gamera/gendoc.py
+++ b/gamera/gendoc.py
@@ -233,7 +233,7 @@ class DocumentationGenerator:
             else:
                footer = '.. footer:: :raw-html:`<div style="text-align:right;">For contact information, see <a href="' + self.contact_url + '">' + self.contact_url + '</a></div>`\n\n'
             lines = (lines[:3] + 
-                     ["\n", u"**Last modified**: %s\n\n" % mtime, 
+                     ["\n", u"**Last modified**:\n\n",
                       ".. contents::\n\n", 
                       ".. role:: raw-html(raw)\n   :format: html\n",
                       footer