diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-01-15 23:22:48 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-01-16 11:50:39 +0100 |
| commit | 7f068942636fa799eff8a5a6dca13d69d69607d4 (patch) | |
| tree | eb2632f5fb17283d3e48f1d40fae4b90f82c85a9 | |
| parent | 5b6a1e7191c2f87213a85cb86239656912086b3a (diff) | |
| download | jenkins.debian.net-7f068942636fa799eff8a5a6dca13d69d69607d4.tar.xz | |
reproducible: _html_notes: add a reassuntive note at the end of the issues table
| -rwxr-xr-x | bin/reproducible_html_notes.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/reproducible_html_notes.py b/bin/reproducible_html_notes.py index c6cdde80..cd1328bd 100755 --- a/bin/reproducible_html_notes.py +++ b/bin/reproducible_html_notes.py @@ -305,6 +305,8 @@ def index_issues(issues): html += tab*4 + '</td>\n' html += tab*3 + '</tr>\n' html += tab*2 + '</table>\n' + html += tab*2 + '<p>For a total of <b>' + str(len(notes)) + '</b> packages' \ + + ' categorized in <b>' + str(len(issues)) + '</b> issues.</p>' html += tab*2 + '<p>Notes are stored in <a href="https://anonscm.debian.org/cgit/reproducible/notes.git">notes.git</a>.</p>' title = 'Overview of known issues related to reproducible builds' destfile = BASE + '/index_issues.html' |