diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 39dcf961a7..3c6e70fe16 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -436,7 +436,7 @@ install(DIRECTORY ${CMAKE_SOURCE_DIR}/../hott DESTINATION ${LIBRARY_DIR}
         PATTERN ".project"
         PATTERN "TAGS")
 
-install(FILES ${CMAKE_SOURCE_DIR}/../images/lean.pgm
+install(FILES ${CMAKE_SOURCE_DIR}/../src/emacs/lean.pgm
         DESTINATION ${EMACS_LISP_DIR})
 
 if(EXISTS "${EMACS_DEPENDENCIES}")
diff --git a/images/lean.pgm b/src/emacs/lean.pgm
similarity index 100%
rename from images/lean.pgm
rename to src/emacs/lean.pgm