From: Timo Heister Date: Mon, 3 Aug 2015 13:41:52 +0000 (-0500) Subject: update script to generate offline documentation X-Git-Tag: v8.4.0-rc2~689^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F1243%2Fhead;p=dealii.git update script to generate offline documentation - also replace https links - exclude robots.txt --- 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!"