DuneDoc

Documentation helper commands used by dune-common.

This module provides the top-level doc target together with helper commands used to build and install generated documentation files.

dune_add_latex_document

Wrapper around add_latex_document() for compatibility reasons.

dune_add_latex_document(<args...>)
create_doc_install

Create a target for building and installing a generated documentation file.

create_doc_install(<filename> <targetdir> <dependency>)
filename

The name of the file to be installed.

targetdir

The directory into which the file is installed.

dependency

The target that creates the file before installation.

This helper is needed because dependencies cannot be attached directly to the install target. See the related CMake issue https://gitlab.kitware.com/cmake/cmake/issues/8438 and the DUNE issue https://gitlab.dune-project.org/core/dune-common/issues/36.