diff options
author | Gard Spreemann <gspr@nonempty.org> | 2020-05-20 08:46:13 +0200 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2020-05-20 08:46:13 +0200 |
commit | 2e879a40ee1bda90526d87f131b77ed365f3676b (patch) | |
tree | a3da06477fe2e8f3e0aa5c0be16f2eecb5bcaf9d /CMakeLists.txt | |
parent | b521123d85ae166e01c814292370d63856251326 (diff) | |
parent | 9b3079646ee3f6a494b83e864b3e10b8a93597d0 (diff) |
Merge branch 'dfsg/latest' into debian/sid
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}\"") |