From: Timo Heister Date: Mon, 11 Jan 2016 20:05:22 +0000 (-0600) Subject: Merge pull request #2039 from bangerth/hook-in-code-gallery-4 X-Git-Tag: v8.4.0-rc2~99 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=474b2733181c3c1a67505a28cb9807473bc0f069;p=dealii.git Merge pull request #2039 from bangerth/hook-in-code-gallery-4 Also install a code gallery page if not found during cmake time. --- 474b2733181c3c1a67505a28cb9807473bc0f069