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