From 126f96c90150bc5f0ee68280ffd68540ee6276c2 Mon Sep 17 00:00:00 2001
From: Matthias Maier <tamiko@43-1.org>
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