File prevent-copying-of-example-files.patch of Package lean4

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 7ba380fc0b..abde3eae8f 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -599,12 +599,6 @@ else()
   file(CREATE_LINK ${CMAKE_SOURCE_DIR} ${CMAKE_BINARY_DIR}/src/lean RESULT _IGNORE_RES SYMBOLIC)
 endif()
 
-install(DIRECTORY "${CMAKE_SOURCE_DIR}/" DESTINATION src/lean
-        FILES_MATCHING
-        PATTERN "*.lean"
-        PATTERN "*.md"
-        PATTERN examples EXCLUDE)
-
 if(${STAGE} GREATER 0 AND INSTALL_LICENSE)
   install(FILES "${CMAKE_SOURCE_DIR}/../LICENSE" "${CMAKE_SOURCE_DIR}/../LICENSES" DESTINATION ".")
 endif()