From: Matthias Maier <tamiko@43-1.org>
Date: Thu, 5 Apr 2018 15:16:46 +0000 (-0500)
Subject: contrib/makeofflinedoc.sh: Use https instead of http
X-Git-Tag: v9.0.0-rc1~231^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=126f96c90150bc5f0ee68280ffd68540ee6276c2;p=dealii.git

contrib/makeofflinedoc.sh: Use https instead of http
---

diff --git a/contrib/utilities/makeofflinedoc.sh b/contrib/utilities/makeofflinedoc.sh
index 9a5b29913f..9f582afeb7 100755
--- a/contrib/utilities/makeofflinedoc.sh
+++ b/contrib/utilities/makeofflinedoc.sh
@@ -30,7 +30,7 @@ echo "Downloading images (press ctrl-c to cancel) ..."
 cd images
 {
 trap "echo \"(skipping)\"" SIGINT
-wget -q -nd -A svg,png,gif -m -l 1 -np http://www.dealii.org/images/steps/developer/
+wget -q -nd -A svg,png,gif -m -l 1 -np https://www.dealii.org/images/steps/developer/
 }
 rm robots.txt*
 cd ..