]> www.ginac.de Git - ginac.git/blobdiff - doc/CMakeLists.txt
build: Fix CMake install for info file.
[ginac.git] / doc / CMakeLists.txt
index e1416d31141b9f231db418030c91b9dfb0134dce..5f17dc27344a59b146de7b8ba6d855934964cfde 100644 (file)
@@ -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)
        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)
 endmacro()
 
 macro(pdflatex_process texfile)
@@ -45,7 +45,7 @@ macro(pdflatex_process texfile)
        add_custom_command(
                OUTPUT ${_ind}
                COMMAND ${MAKEINDEX_COMPILER} ${_idx}
        add_custom_command(
                OUTPUT ${_ind}
                COMMAND ${MAKEINDEX_COMPILER} ${_idx}
-               COMMAND python ${_fixupind} ${_idx}
+               COMMAND ${PYTHON} ${_fixupind} ${_idx}
                WORKING_DIRECTORY ${_dirname}
                DEPENDS ${texfile} ${_idx}
                COMMENT "MAKEINDEX ${_basename}.idx")
                WORKING_DIRECTORY ${_dirname}
                DEPENDS ${texfile} ${_idx}
                COMMENT "MAKEINDEX ${_basename}.idx")