From 24d991e8c66a510450bb9ad6e0427067718fe259 Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Mon, 3 Aug 2015 08:41:52 -0500 Subject: [PATCH] update script to generate offline documentation - also replace https links - exclude robots.txt --- contrib/utilities/makeofflinedoc.sh | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/contrib/utilities/makeofflinedoc.sh b/contrib/utilities/makeofflinedoc.sh index 6ebba8eda9..229a109709 100755 --- a/contrib/utilities/makeofflinedoc.sh +++ b/contrib/utilities/makeofflinedoc.sh @@ -14,23 +14,29 @@ ## ## --------------------------------------------------------------------- +# This script downloads images referenced in the tutorial steps and patches +# 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 ] then echo "Please run this script in the doc output directory (install/doc)" exit 1 fi -mkdir images >/dev/null +mkdir -p images 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 png,gif -m -l 1 -np http://www.dealii.org/images/steps/developer/ } +rm robots.txt* cd .. echo "Patching html files ..." sed -i 's#"http://www.dealii.org/images/steps/developer/\(step-.*\)"#"images/\1"#g' step_*.html +sed -i 's#"https://www.dealii.org/images/steps/developer/\(step-.*\)"#"images/\1"#g' step_*.html echo "all done!" -- 2.39.5