diff options
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/reproducible_common.py | 10 | ||||
-rwxr-xr-x | bin/reproducible_common.sh | 2 |
2 files changed, 7 insertions, 5 deletions
diff --git a/bin/reproducible_common.py b/bin/reproducible_common.py index fc5488a4..cc7789b6 100755 --- a/bin/reproducible_common.py +++ b/bin/reproducible_common.py @@ -171,9 +171,11 @@ html_foot_page_style_note = Template((tab*2).join(""" 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.<br /> - A <code>#</code> sign after the name of a package indicates that a bug is - filed against it. Likewise, a <code>+</code> means that there is bug with a - patch attached. In case of more than one bug, the symbol is repeated. + A <code><span class="bug">#</span></code> sign after the name of a + package indicates that a bug is filed against it. Likewise, a + <code><span class="bug-patch">+</span></code> sign indicates there is + a patch available. <code><span class="bug-done">#</span></code> + indicates a closed bug. In cases of several bugs, the symbol is repeated. </p>""".splitlines(True))) @@ -488,7 +490,7 @@ def get_trailing_icon(package, bugs): elif bugs[package][bug]['patch']: html += 'bug-patch" title="#' + str(bug) + ', with patch">+</span>' else: - html += '" title="#' + str(bug) + '">#</span>' + html += 'bug" title="#' + str(bug) + '">#</span>' return html diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 49a70ca8..69c205a7 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -238,7 +238,7 @@ write_page_footer() { write_page_meta_sign() { write_page "<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.</br>" - write_page " A <code>#</code> sign after the name of a package indicates that a bug is filed against it. Likewise, a <code>+</code> means that there is bug with a patch attached. In case of more than one bug, the symbol is repeated.</p>" + write_page "A <code><span class=\"bug\">#</span></code> sign after the name of a package indicates that a bug is filed against it. Likewise, a <code><span class=\"bug-patch\">+</span></code> sign indicates there is a patch available. <code><span class=\"bug-done\">#</span></code> indicates a closed bug. In cases of several bugs, the symbol is repeated.</p>" } publish_page() { |