diff options
Diffstat (limited to 'bin/reproducible_common.sh')
| -rwxr-xr-x | bin/reproducible_common.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 00e7add0..202b4f21 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -400,12 +400,6 @@ write_page_footer() { write_page "</body></html>" } -# A mustache equivalent of this function has been created. See TEMPLATE_PATH/pkg_list_key.mustache -write_page_meta_sign() { - 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>" -} - write_variation_table() { write_page "<p style=\"clear:both;\">" if [ "$1" = "fedora-23" ] ; then |