]> https://gitweb.dealii.org/ - dealii.git/commitdiff
update script to generate offline documentation 1243/head
authorTimo Heister <timo.heister@gmail.com>
Mon, 3 Aug 2015 13:41:52 +0000 (08:41 -0500)
committerTimo Heister <timo.heister@gmail.com>
Mon, 3 Aug 2015 13:41:52 +0000 (08:41 -0500)
- also replace https links
- exclude robots.txt

contrib/utilities/makeofflinedoc.sh

index 6ebba8eda9675ded90e94c4e0108587743fb2d83..229a109709685f6a6f04c48f2c8c9fce077a2e99 100755 (executable)
 ##
 ## ---------------------------------------------------------------------
 
+# 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!"

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.