diff options
author | Holger Levsen <holger@layer-acht.org> | 2016-03-07 15:55:21 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-03-07 15:55:21 +0100 |
commit | 24ed2787e3ff0083bed1264e0e1bef072623c063 (patch) | |
tree | 88cbb768c7dbfcf8d0a9c1dfb4f15f8635d29de4 /bin/reproducible_common.sh | |
parent | 15f3b81176be945769a15574afe682552e9d770c (diff) | |
download | jenkins.debian.net-24ed2787e3ff0083bed1264e0e1bef072623c063.tar.xz |
reproducible debian: use bold font in note to explain bold font
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 50915761..14d8bdee 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -353,7 +353,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 "<p style=\"font-size:0.9em;\">A package name displayed with a <span style=\"font-weight: bold;\">bold font</span> 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><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, a <code><span class="bug-pending">P</span></code> means a pending bug while <code><span class=\"bug-done\">#</span></code> indicates a closed bug. In cases of several bugs, the symbol is repeated.</p>" } |