jenkins: use https when downloading docs (fixes #3651)

GitHub-Pull-Request: https://github.com/syncthing/syncthing/pull/3652
This commit is contained in:
MikeLund 2016-10-05 12:17:35 +00:00 committed by Wulf Weich
parent fe9c2b9857
commit 1e54a3e801
1 changed files with 3 additions and 3 deletions

View File

@ -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
}
}