From: Matthias Maier 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=refs%2Fpull%2F6166%2Fhead;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 ..