]> https://gitweb.dealii.org/ - dealii.git/commitdiff
contrib/utilities/makeofflinedoc.sh: Also install jpg 10179/head
authorMatthias Maier <tamiko@43-1.org>
Wed, 13 May 2020 06:43:02 +0000 (01:43 -0500)
committerMatthias Maier <tamiko@43-1.org>
Wed, 13 May 2020 06:43:02 +0000 (01:43 -0500)
contrib/utilities/makeofflinedoc.sh

index 5b4424a0dbc130a01067ef64ab46eec5b62de088..e4a935cc10f8b4e254193ec9d932f026beb37c84 100755 (executable)
@@ -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*
 }
 

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.