From: David Wells Date: Wed, 13 May 2020 15:35:15 +0000 (-0400) Subject: Merge pull request #10185 from tamiko/pr_10179 X-Git-Tag: v9.2.0-rc2~19 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=118ab1967d6aa41368d6c2815c93f0902a739bde;p=dealii.git Merge pull request #10185 from tamiko/pr_10179 [9.2] Take over #10179: contrib/utilities/makeofflinedoc.sh: Also install jpg --- 118ab1967d6aa41368d6c2815c93f0902a739bde