From 126f96c90150bc5f0ee68280ffd68540ee6276c2 Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Thu, 5 Apr 2018 10:16:46 -0500 Subject: [PATCH] contrib/makeofflinedoc.sh: Use https instead of http --- contrib/utilities/makeofflinedoc.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 .. -- 2.39.5