diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-08-07 16:00:53 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-08-07 20:01:42 +0200 |
| commit | 09391a8b9b270829df1bf142d40b036eb22a1cbb (patch) | |
| tree | 65a3de932c8d86b65a4c15d6fab58414b928620e /bin/reproducible_common.sh | |
| parent | 31d32eb5c7f9ac3de860b9c1782a1f808a631945 (diff) | |
| download | jenkins.debian.net-09391a8b9b270829df1bf142d40b036eb22a1cbb.tar.xz | |
reproducible: also find pending bugs and mark them with a brown P in the pages
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 107c55e4..15a8c37a 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -262,7 +262,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><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>" + 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>" } write_explaination_table() { |