From 56be0453248a95bff72531124d94d637f9d63672 Mon Sep 17 00:00:00 2001 From: David Adam Date: Thu, 1 Feb 2018 22:46:15 +0800 Subject: [PATCH] [cmake] copy shipped documentation files if they exist Enables documentation in tarballs to be installed, even if Doxygen isn't present. --- cmake/Docs.cmake | 21 +++++++++++++++++++-- 1 file changed, 19 insertions(+), 2 deletions(-) diff --git a/cmake/Docs.cmake b/cmake/Docs.cmake index 7989881fe..45b0348da 100644 --- a/cmake/Docs.cmake +++ b/cmake/Docs.cmake @@ -5,10 +5,27 @@ INCLUDE(FeatureSummary) IF(DOXYGEN_FOUND) OPTION(BUILD_DOCS "build documentation (requires Doxygen)" ON) ELSE(DOXYGEN_FOUND) - SET(BUILD_DOCS OFF) + OPTION(BUILD_DOCS "build documentation (requires Doxygen)" OFF) ENDIF(DOXYGEN_FOUND) -ADD_FEATURE_INFO(Documentation BUILD_DOCS "user manual and documentation") +IF(BUILD_DOCS AND NOT DOXYGEN_FOUND) + MESSAGE(FATAL_ERROR "build documentation selected, but Doxygen could not be found") +ENDIF() + +IF(IS_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/user_doc/html + AND IS_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/share/man/man1) + SET(HAVE_PREBUILT_DOCS TRUE) +ELSE() + SET(HAVE_PREBUILT_DOCS FALSE) +ENDIF() + +IF(BUILD_DOCS OR HAVE_PREBUILT_DOCS) + SET(INSTALL_DOCS ON) +ELSE() + SET(INSTALL_DOCS OFF) +ENDIF() + +ADD_FEATURE_INFO(Documentation INSTALL_DOCS "user manual and documentation") IF(BUILD_DOCS) # Files in ./share/completions/