From 27741e4fd7d8274a5f9f2054de4b194e9a50dc5d Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sat, 31 Jan 2015 17:38:49 -0800
Subject: [PATCH] chore(CMakeLists.txt): move Lean logo to make sure we can
 test leanemacs without installing Lean

---
 src/CMakeLists.txt             |   2 +-
 {images => src/emacs}/lean.pgm | Bin
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename {images => src/emacs}/lean.pgm (100%)

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