From ac76556554905d51405b33520e1e4ee5dc9a7613 Mon Sep 17 00:00:00 2001 From: Mattia Rizzolo Date: Fri, 3 Jun 2016 20:10:04 +0000 Subject: reproducible debian: drop some more '/userContent/' from the generated URLs, they are residual from the move from jenkins.d.n → reproducible.d.n one year ago MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- bin/reproducible_common.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index da0bf0b0..7845a966 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -185,7 +185,7 @@ set_icon() { write_icon() { # ICON and STATE_TARGET_NAME are set by set_icon() - write_page "\"${STATE_TARGET_NAME}" + write_page "\"${STATE_TARGET_NAME}" } write_page_header() { @@ -215,7 +215,7 @@ write_page_header() { write_page "" write_page "" write_page "" - write_page "" + write_page "" write_page "$2" if [ "$1" != "$MAINVIEW" ] ; then write_page "

$2

" -- cgit v1.2.3-70-g09d2