]> https://gitweb.dealii.org/ - dealii.git/commitdiff
contrib/makeofflinedoc.sh: Use https instead of http 6166/head
authorMatthias Maier <tamiko@43-1.org>
Thu, 5 Apr 2018 15:16:46 +0000 (10:16 -0500)
committerMatthias Maier <tamiko@43-1.org>
Thu, 5 Apr 2018 15:16:46 +0000 (10:16 -0500)
contrib/utilities/makeofflinedoc.sh

index 9a5b29913fe73f6fd19e667835fda747d5881537..9f582afeb7fcc2ee47f648f41943be5d50102f26 100755 (executable)
@@ -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 ..

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.