create_doc_install

creates a target for creating and installing a file to a given directory.

create_doc_install(
     filename 
     targetdir 
     dependency 
)

filename

The name of the file to be installed.

targetdir

The directory into which the beforementioned file will be installed.

dependency

A target that gets called to create the file that will be installed.

Note

This macro is needed, as we cannot add dependencies to the install target. See https://gitlab.kitware.com/cmake/cmake/issues/8438 and https://gitlab.dune-project.org/core/dune-common/issues/36