From 30a9602cf103e31f140de065b143e140032f92e8 Mon Sep 17 00:00:00 2001
From: Timo Heister <timo.heister@gmail.com>
Date: Wed, 2 Mar 2016 16:09:44 -0500
Subject: [PATCH] fix makeofflinedoc.sh image downloading

- check Tutorial.html because there is an index.html in other
directories
- also download .svg files
---
 contrib/utilities/makeofflinedoc.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/contrib/utilities/makeofflinedoc.sh b/contrib/utilities/makeofflinedoc.sh
index 229a109709..9a5b29913f 100755
--- a/contrib/utilities/makeofflinedoc.sh
+++ b/contrib/utilities/makeofflinedoc.sh
@@ -18,9 +18,9 @@
 # the URLs to point to the local files. To be run in the doc/doxygen/deal.II
 # directory of an installed deal.II documentation.
 
-if [ ! -f index.html ]
+if [ ! -f Tutorial.html ]
 then
-  echo "Please run this script in the doc output directory (install/doc)"
+  echo "Please run this script in the doc output directory (<install>/doc/doxygen/deal.II)"
   exit 1
 fi
 
@@ -30,7 +30,7 @@ echo "Downloading images (press ctrl-c to cancel) ..."
 cd images
 {
 trap "echo \"(skipping)\"" SIGINT
-wget -q -nd -A png,gif -m -l 1 -np http://www.dealii.org/images/steps/developer/
+wget -q -nd -A svg,png,gif -m -l 1 -np http://www.dealii.org/images/steps/developer/
 }
 rm robots.txt*
 cd ..
-- 
2.39.5