From: Martin Kronbichler Date: Wed, 13 May 2020 10:01:09 +0000 (+0200) Subject: Merge pull request #10179 from tamiko/make_offlinedoc X-Git-Tag: v9.3.0-rc1~1649 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=afd1d1bb1a0f52e983a345a73b394658c08ace4e;p=dealii.git Merge pull request #10179 from tamiko/make_offlinedoc contrib/utilities/makeofflinedoc.sh: Also install jpg --- afd1d1bb1a0f52e983a345a73b394658c08ace4e