diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-01-16 01:16:10 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-01-16 11:50:01 +0100 |
commit | 094a2de2fc5fc7d18cb69a65aadfcf20f1f01c7b (patch) | |
tree | 3e232a65bd3a5832b3b9bdbab27a8b5b513efd73 /bin/reproducible_common.py | |
parent | 967bc1e012dd6e234ec4e86dff049a375d255e90 (diff) | |
download | jenkins.debian.net-094a2de2fc5fc7d18cb69a65aadfcf20f1f01c7b.tar.xz |
reproducible: add some infos for the user about the # and
+ signs
Diffstat (limited to 'bin/reproducible_common.py')
-rwxr-xr-x | bin/reproducible_common.py | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/bin/reproducible_common.py b/bin/reproducible_common.py index f5acc4aa..95c10227 100755 --- a/bin/reproducible_common.py +++ b/bin/reproducible_common.py @@ -161,8 +161,11 @@ html_foot_page_style_note = Template((tab*2).join(""" <p style="font-size:0.9em;"> A package name displayed with a bold font is an indication that this package has a note. Visited packages are linked in green, those which - have not been visited are linked in blue. -""".splitlines(True))) + have not been visited are linked in blue.<br /> + A <code>#</code> sign after the name of a package indicates that a bug is + filed aginst it. Likewise, a <code>+</code> means that there is bug with a + patch attached. In case of more than one bug, the simble is repeated. +</p>""".splitlines(True))) url2html = re.compile(r'((mailto\:|((ht|f)tps?)\://|file\:///){1}\S+)') @@ -183,7 +186,6 @@ def write_html_page(title, body, destfile, noheader=False, style_note=False, noe html += body if style_note: html += html_foot_page_style_note.substitute() - html += (tab*2) + '</p>' if not noendpage: html += html_footer.substitute(date=now) else: |