diff options
| author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-03-05 14:24:01 +0100 |
|---|---|---|
| committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-03-05 14:24:01 +0100 |
| commit | f78d65f0bd6aaf5f92639e2b809e1711acf929f7 (patch) | |
| tree | 42272a2d27eea45735b806ce46e61c41b1f5ea9a /CMakeLists.txt | |
| parent | 73ad191a7dee054a58e9823c84dce9f1e71995f4 (diff) | |
| parent | d2943b9e7311c8a3d8a4fb379c39b15497481b9c (diff) | |
Merge branch 'master' into print_warnings_to_stderr
Diffstat (limited to 'CMakeLists.txt')
| -rw-r--r-- | CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 5dcc6803..0b5f5144 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -65,5 +65,7 @@ include(GUDHI_user_version_target) # For "make doxygen" - Requires GUDHI_USER_VERSION_DIR to be set - Done in GUDHI_user_version_target for dev version include(GUDHI_doxygen_target) +configure_file(${CMAKE_SOURCE_DIR}/.github/for_maintainers/new_gudhi_version_creation.md "${CMAKE_CURRENT_BINARY_DIR}/" @ONLY) + message("++ GUDHI_MODULES list is:\"${GUDHI_MODULES}\"") message("++ GUDHI_MISSING_MODULES list is:\"${GUDHI_MISSING_MODULES}\"") |