From 012174c05f2eb56932df816859ee3afdbf51f888 Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Wed, 13 May 2020 01:43:02 -0500 Subject: [PATCH] contrib/utilities/makeofflinedoc.sh: Also install jpg --- contrib/utilities/makeofflinedoc.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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* } -- 2.39.5