chore(CMakeLists.txt): move Lean logo to make sure we can test leanem…

…acs without installing Lean
GaloisInc · Feb 1, 2015 · 27741e4 · 27741e4
1 parent 70d6224
commit 27741e4
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git 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 → src/emacs/lean.pgm b/images/lean.pgm → src/emacs/lean.pgm