build: Fix CMake install for info file. master release_1-8-0
authorRichard Kreckel <kreckel@ginac.de>
Wed, 14 Oct 2020 21:16:08 +0000 (23:16 +0200)
committerRichard Kreckel <kreckel@ginac.de>
Wed, 14 Oct 2020 21:16:08 +0000 (23:16 +0200)
commit0ba4e319079c68d97bb307f6e8c8779eea7f4131
tree13f97677234c4806e46500277d72df2673f33c09
parent3ee690de0c65f18efebdac96c0c82c7551654d2f
build: Fix CMake install for info file.

It seams like CMake does not know any variable named ${SHARE_INSTALL_PREFIX}.
doc/CMakeLists.txt