-
Timo Koch authored
After the merge of dune-common!115, we have to specify the cmake target which builds the pdf in `create_doc_install`.
2887f17a
After the merge of dune-common!115, we have to specify the cmake target which builds the pdf in `create_doc_install`.