From: Richard Kreckel <kreckel@ginac.de>
Date: Wed, 14 Oct 2020 21:16:08 +0000 (+0200)
Subject: build: Fix CMake install for info file.
X-Git-Tag: release_1-8-0
X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=commitdiff_plain;h=0ba4e319079c68d97bb307f6e8c8779eea7f4131;hp=3ee690de0c65f18efebdac96c0c82c7551654d2f;ds=sidebyside

build: Fix CMake install for info file.

It seams like CMake does not know any variable named ${SHARE_INSTALL_PREFIX}.
---

diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index e42e6bda..5f17dc27 100644
--- a/doc/CMakeLists.txt
+++ b/doc/CMakeLists.txt
@@ -26,7 +26,7 @@ macro(add_info_file thename)
 	add_custom_target(${thename}_html DEPENDS ${${thename}_HTML})
 	add_dependencies(info ${thename}_info)
 	add_dependencies(html ${thename}_html)
-	install(FILES ${${thename}_INFO} DESTINATION "${SHARE_INSTALL_PREFIX}/info")
+	install(FILES ${${thename}_INFO} DESTINATION "${CMAKE_INSTALL_PREFIX}/share/info")
 endmacro()
 
 macro(pdflatex_process texfile)