]> https://gitweb.dealii.org/ - dealii.git/commit
Contrib: Update make_offlinedoc.sh
authorMatthias Maier <tamiko@43-1.org>
Fri, 18 May 2018 02:58:46 +0000 (21:58 -0500)
committerMatthias Maier <tamiko@43-1.org>
Fri, 18 May 2018 04:38:10 +0000 (23:38 -0500)
commit43a0e7aa675acc3347d134f459f6e1e116979e93
tree5938ca61f5866254c03f7095abe3883ab8de7abf
parentc3d93b63f69c88b046cb9015bdeac47e7e97e077
Contrib: Update make_offlinedoc.sh

 - actually download all (online) portions of the documentation
 - improve sed command
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.