diff --git a/src/emacs/CMakeLists.txt b/src/emacs/CMakeLists.txt
index 9976b3516..cb42fe8c7 100644
--- a/src/emacs/CMakeLists.txt
+++ b/src/emacs/CMakeLists.txt
@@ -1,2 +1,2 @@
-install(FILES "lean-mode.el" DESTINATION emacs)
-install(FILES "lean-input.el" DESTINATION emacs)
+FILE(GLOB LEAN_MODE_FILES *.el)
+install(FILES ${LEAN_MODE_FILES} DESTINATION ./emacs)