From d2b4e163dc609ae77804c802b6a53f0ed5cd8868 Mon Sep 17 00:00:00 2001 From: Daniel Willmann Date: Thu, 28 Jun 2018 15:58:50 +0200 Subject: Upload to rita.osmocom.org to point to the old host osmocom.org has been migrated to a new host, but the docs upload hasn't moved yet. So explicitly upload to rita.osmocom.org. Related: OS#3338 Change-Id: Ia1518313af007a5a665b3e06619d929e15ff277d --- contrib/jenkins.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'contrib') diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 5cd1c1f..573e042 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -24,12 +24,12 @@ if [ "x$publish" = "x--publish" ]; then cp */*.pdf out/ cat > "$WORKSPACE/known_hosts" <