create_doc_installΒΆ

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

create_doc_install(
                    dependency 
                    filename 
                    targetdir 
)
dependency
A target that gets called to create the file that will be installed.
filename
The name of the file to be installed.
targetdir
The directory into which the beforementioned file 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