From b04254785c46008d41c00d28af40b8767618d50d Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Wed, 16 May 2018 19:36:44 +0800 Subject: [PATCH] Document that when generating documentation, we need the code gallery. --- release-tasks | 1 + 1 file changed, 1 insertion(+) diff --git a/release-tasks b/release-tasks index 528d420..4aad751 100644 --- a/release-tasks +++ b/release-tasks @@ -398,6 +398,7 @@ Thanks! don't trip up any exceptions. 11/ In a clean source directory of the dealii-9.0 branch, do + git clone https://github.com/dealii/code-gallery.git mkdir builddoc cd builddoc cmake -DDEAL_II_COMPONENT_DOCUMENTATION=ON -DCMAKE_INSTALL_PREFIX=$PWD/../installeddoc ../ -- 2.39.5