diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-05-18 16:29:00 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-05-18 16:29:00 +0200 |
commit | f04334b132c84259a7d5d0592e38ab87fab5fee2 (patch) | |
tree | 07a8f1c1d2fba001f8734b0207a26ccba4527797 /bin/reproducible_common.sh | |
parent | a8a8c1647d1b526df1acb064241f7060a7808a71 (diff) | |
download | jenkins.debian.net-f04334b132c84259a7d5d0592e38ab87fab5fee2.tar.xz |
reproducible: improve bug indicators for packages
Diffstat (limited to 'bin/reproducible_common.sh')
-rwxr-xr-x | bin/reproducible_common.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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() { |