From 30a9602cf103e31f140de065b143e140032f92e8 Mon Sep 17 00:00:00 2001 From: Timo Heister 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 (/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