From 76246808e76ac5449a51520385c8da09cdf42939 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Sun, 7 Jun 2015 14:36:56 +0200 Subject: reproducible coreboot: more polishing for coreboot.html --- bin/reproducible_common.sh | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'bin/reproducible_common.sh') diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index ee30e835..b175f93c 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -244,8 +244,11 @@ write_page_header() { } write_page_footer() { - write_page "

There is more information about jenkins.debian.net and about reproducible builds of Debian available elsewhere. Last update: $(date +'%Y-%m-%d %H:%M %Z'). Copyright 2014-2015 Holger Levsen and others, GPL2 licensed. The weather icons are public domain and have been taken from the Tango Icon Library.

" - write_page "" + write_page "

There is more information about jenkins.debian.net and about reproducible builds of Debian available elsewhere. Last update: $(date +'%Y-%m-%d %H:%M %Z'). Copyright 2014-2015 Holger Levsen and others, GPL2 licensed. The weather icons are public domain and have been taken from the Tango Icon Library." + if [ "$1" = "coreboot" ] ; then + write_page "The Coreboot logo is Copyright © 2008 by Konsult Stuge and coresystems GmbH and can be freely used to refer to the Coreboot project." + fi + write_page "

" } write_page_meta_sign() { -- cgit v1.2.3-70-g09d2