From 24ed2787e3ff0083bed1264e0e1bef072623c063 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Mon, 7 Mar 2016 15:55:21 +0100 Subject: reproducible debian: use bold font in note to explain bold font --- bin/reproducible_common.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bin/reproducible_common.sh') 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 "

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.
" + write_page "

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.
" write_page "A # sign after the name of a package indicates that a bug is filed against it. Likewise, a + sign indicates there is a patch available, a P means a pending bug while # indicates a closed bug. In cases of several bugs, the symbol is repeated.

" } -- cgit v1.2.3-54-g00ecf