diff --git a/examples/ex.lean b/library/examples/ex.lean
similarity index 100%
rename from examples/ex.lean
rename to library/examples/ex.lean
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 2c09cf16b..efa5c7fad 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -263,12 +263,6 @@ ENDIF()
 # Python
 find_package(PythonInterp REQUIRED)
 
-# Examples
-file(GLOB LEANLIB "${LEAN_SOURCE_DIR}/../examples/*.lean")
-FOREACH(FILE ${LEANLIB})
-   install_files(/examples FILES "${FILE}")
-ENDFOREACH(FILE)
-
 include_directories(${LEAN_SOURCE_DIR})
 
 # Git HASH