further improve download script

diff --git a/contrib/utilities/makeofflinedoc.sh b/contrib/utilities/makeofflinedoc.sh
index ecc0356ca1aee06d022b10f6e58c9d172611d4f2..0079ea88f0b186129eb0acf011a7cd3efdd2b3df 100755 (executable)
--- a/contrib/utilities/makeofflinedoc.sh
+++ b/contrib/utilities/makeofflinedoc.sh
@@ -29,17 +29,11 @@ sed -i 's#"https\?://www.dealii.org/images/#"images/#g' step_*.html class*.html
 
 echo "Downloading images (this will take a long time; press ctrl-c to cancel) ..."
 
-for i in steps/developer \
-         shape-functions/{DGPMonomial,DGPNonparametric,DGP}/P{1,2,3,4} \
-         shape-functions/{hierarchical,lagrange}/Q{1,2,3,4}; do
-  echo "  ... processing images/$i"
-  mkdir -p images/"$i"
-  (
-    cd images/"$i"
-    trap "echo \"(skipping)\"" SIGINT
-    wget -q -nd -A svg,png,gif,webm -m -l 1 -np "https://www.dealii.org/images/$i"
-    rm -f robots.txt*
-  )
-done
+{
+  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"
+  rm -f robots.txt* images/robots.txt*
+}
 
 echo "all done!"