]> https://gitweb.dealii.org/ - dealii.git/commit
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)
commit24d991e8c66a510450bb9ad6e0427067718fe259
treea891372a99d9e18abac173a0077e30a808ceb7c1
parent685f21949c9710f161becdb23f2f752f2dbd9b26
update script to generate offline documentation

- also replace https links
- exclude robots.txt
contrib/utilities/makeofflinedoc.sh

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.