From: Matthias Maier Date: Wed, 13 May 2020 06:43:02 +0000 (-0500) Subject: contrib/utilities/makeofflinedoc.sh: Also install jpg X-Git-Tag: v9.2.0-rc2~19^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=012174c05f2eb56932df816859ee3afdbf51f888;p=dealii.git contrib/utilities/makeofflinedoc.sh: Also install jpg --- diff --git a/contrib/utilities/makeofflinedoc.sh b/contrib/utilities/makeofflinedoc.sh index 5b4424a0db..e4a935cc10 100755 --- a/contrib/utilities/makeofflinedoc.sh +++ b/contrib/utilities/makeofflinedoc.sh @@ -31,8 +31,8 @@ echo "Downloading images (this will take a long time; press ctrl-c to cancel) .. { trap "echo \"(skipping)\"" SIGINT - wget -q -nH -A svg,png,gif,webm -m -l 3 -np "https://www.dealii.org/images/steps" - wget -q -nH -A svg,png,gif,webm -m -l 3 -np "https://www.dealii.org/images/shape-functions" + wget -q -nH -A svg,jpg,png,gif,webm -m -l 3 -np "https://www.dealii.org/images/steps" + wget -q -nH -A svg,jpg,png,gif,webm -m -l 3 -np "https://www.dealii.org/images/shape-functions" rm -f robots.txt* images/robots.txt* }