summaryrefslogtreecommitdiffstats
path: root/bin/reproducible_common.sh
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2016-03-07 15:55:21 +0100
committerHolger Levsen <holger@layer-acht.org>2016-03-07 15:55:21 +0100
commit24ed2787e3ff0083bed1264e0e1bef072623c063 (patch)
tree88cbb768c7dbfcf8d0a9c1dfb4f15f8635d29de4 /bin/reproducible_common.sh
parent15f3b81176be945769a15574afe682552e9d770c (diff)
downloadjenkins.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-xbin/reproducible_common.sh2
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\">&#35;</span></code> sign after the name of a package indicates that a bug is filed against it. Likewise, a <code><span class=\"bug-patch\">&#43;</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\">&#35;</span></code> indicates a closed bug. In cases of several bugs, the symbol is repeated.</p>"
}