From f015486a01bc82bd530b929924dd89a21b46d021 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Fri, 11 Dec 2015 16:27:23 +0100 Subject: reproducible: whitespace changes --- bin/reproducible_common.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 66ad0a36..02a83431 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -282,7 +282,10 @@ write_page_header() { } write_page_intro() { - write_page "

Reproducible builds enable anyone to reproduce bit by bit identical binary packages from a given source, so that anyone can verify that a given binary derived from the source it was said to be derived. There is a lot more information about reproducible builds on the Debian wiki and on https://reproducible.debian.net. The wiki explains in more depth why this is useful, what common issues exist and which workarounds and solutions are known.
" + write_page "

Reproducible builds enable anyone to reproduce bit by bit identical binary packages from a given source, so that anyone can verify that a given binary derived from the source it was said to be derived." + write_page " There is a lot more information about reproducible builds on the Debian wiki and on https://reproducible.debian.net." + write_page " The wiki explains in more depth why this is useful, what common issues exist and which workarounds and solutions are known." + write_page "
" local BUILD_ENVIRONMENT=" in a Debian environment" local BRANCH="master" if [ "$1" = "coreboot" ] ; then -- cgit v1.2.3-70-g09d2