From 1e54a3e801b2856e5a17e9e29570a190e3db45a1 Mon Sep 17 00:00:00 2001
From: MikeLund <MikeLund@users.noreply.github.com>
Date: Wed, 5 Oct 2016 12:17:35 +0000
Subject: [PATCH] jenkins: use https when downloading docs (fixes #3651)

GitHub-Pull-Request: https://github.com/syncthing/syncthing/pull/3652
---
 jenkins/common.bash | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/jenkins/common.bash b/jenkins/common.bash
index 1d93fdf4..830bc4ba 100644
--- a/jenkins/common.bash
+++ b/jenkins/common.bash
@@ -38,8 +38,8 @@ function clean {
 function fetchExtra {
     echo Fetching extra resources
     mkdir extra
-    curl -s -o extra/Getting-Started.pdf http://docs.syncthing.net/pdf/Getting-Started.pdf
-    curl -s -o extra/FAQ.pdf http://docs.syncthing.net/pdf/FAQ.pdf
+    curl -s -o extra/Getting-Started.pdf https://docs.syncthing.net/pdf/Getting-Started.pdf
+    curl -s -o extra/FAQ.pdf https://docs.syncthing.net/pdf/FAQ.pdf
     echo
 }
 
@@ -81,4 +81,4 @@ function buildSource {
     tar c -z -f "$WORKSPACE/syncthing-source-$version.tar.gz" --exclude .git syncthing
     popd >/dev/null
     echo
-}
\ No newline at end of file
+}