diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-03-14 17:58:55 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-03-14 17:58:55 +0100 |
commit | 0c074ea069b10b66bb5f01e996def39f471c78ea (patch) | |
tree | 98bc9e59e2bac959e29d01384b9086ae034f6c69 /bin/reproducible_html_notes.py | |
parent | 0372afcb617d95a0f1dd791d2f989c2053b6ca10 (diff) | |
download | jenkins.debian.net-0c074ea069b10b66bb5f01e996def39f471c78ea.tar.xz |
reproducible: simplify wording
Diffstat (limited to 'bin/reproducible_html_notes.py')
-rwxr-xr-x | bin/reproducible_html_notes.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/reproducible_html_notes.py b/bin/reproducible_html_notes.py index 1a2750c3..c0f01c1b 100755 --- a/bin/reproducible_html_notes.py +++ b/bin/reproducible_html_notes.py @@ -370,7 +370,7 @@ def index_issues(issues): '</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" target="_parent">notes.git</a>.</p>' - title = 'Overview of known issues related to reproducible builds' + title = 'Known issues related to reproducible builds' destfile = BASE + '/index_issues.html' desturl = REPRODUCIBLE_URL + '/index_issues.html' write_html_page(title=title, body=html, destfile=destfile) @@ -400,7 +400,7 @@ def index_notes(notes, bugs): html += '</p>\n' html += '<p>Notes are stored in <a href="https://anonscm.debian.org/cgit/reproducible/notes.git" target="_parent">notes.git</a>.</p>' html = (tab*2).join(html.splitlines(True)) - title = 'Overview of packages with notes' + title = 'Packages with notes' destfile = BASE + '/index_notes.html' desturl = REPRODUCIBLE_URL + '/index_notes.html' write_html_page(title=title, body=html, destfile=destfile, @@ -445,7 +445,7 @@ def index_no_notes(notes, bugs): html += index_no_notes_section(notes, bugs, pkgs, suite, arch) html += '<p>Notes are stored in <a href="https://anonscm.debian.org/cgit/reproducible/notes.git" target="_parent">notes.git</a>.</p>' html = (tab*2).join(html.splitlines(True)) - title = 'Overview of packages without notes' + title = 'Packages without notes' destfile = BASE + '/index_no_notes.html' desturl = REPRODUCIBLE_URL + '/index_no_notes.html' write_html_page(title=title, body=html, destfile=destfile, |