1
0
mirror of https://github.com/blupi-games/planetblupi synced 2024-12-30 10:15:36 +01:00

Fix copy after rename

This commit is contained in:
Mathieu Schroeter 2023-12-21 21:54:26 +01:00
parent e9a919c0d9
commit 77039c79ba
No known key found for this signature in database
GPG Key ID: 8B9145A5FA9DA8A8

View File

@ -99,7 +99,7 @@ endif ()
file (COPY resources/sound DESTINATION share/planetblupi)
file (COPY resources/music DESTINATION share/planetblupi)
file (COPY LICENSE.all DESTINATION share/doc/planetblupi)
file (COPY COPYING DESTINATION share/doc/planetblupi)
file (COPY CREDITS DESTINATION share/doc/planetblupi)
file (RENAME "${CMAKE_BINARY_DIR}/share/doc/planetblupi/LICENSE.all"
"${CMAKE_BINARY_DIR}/share/doc/planetblupi/copyright")
@ -351,7 +351,7 @@ if (NOT BUILD_JS)
install (DIRECTORY resources/sound DESTINATION share/planetblupi)
install (DIRECTORY resources/music DESTINATION share/planetblupi)
install (FILES LICENSE.all DESTINATION share/doc/planetblupi RENAME copyright)
install (FILES COPYING DESTINATION share/doc/planetblupi)
install (FILES CREDITS DESTINATION share/doc/planetblupi)
if (BUILD_LINUX)
install (DIRECTORY resources/icon/hicolor DESTINATION share/icons)