doc/CMakeLists.txt
changeset 1135 fc1aa7c01c55
parent 1111 c8fce9beb46a
child 1206 a2d142bb5d3c
child 1207 3ab825f5fab0
     1.1 --- a/doc/CMakeLists.txt	Mon Jan 30 17:49:50 2012 +0100
     1.2 +++ b/doc/CMakeLists.txt	Wed Feb 01 06:43:50 2012 +0100
     1.3 @@ -17,6 +17,15 @@
     1.4    @ONLY
     1.5  )
     1.6  
     1.7 +# Copy doc from source (if exists)
     1.8 +IF(EXISTS ${CMAKE_CURRENT_SOURCE_DIR}/html AND 
     1.9 +    NOT EXISTS ${CMAKE_CURRENT_BINARY_DIR}/html/index.html)
    1.10 +  MESSAGE(STATUS "Copy doc from source tree")
    1.11 +  EXECUTE_PROCESS(
    1.12 +    COMMAND cmake -E copy_directory ${CMAKE_CURRENT_SOURCE_DIR}/html ${CMAKE_CURRENT_BINARY_DIR}/html
    1.13 +    )
    1.14 +ENDIF()
    1.15 +
    1.16  IF(DOXYGEN_EXECUTABLE AND PYTHONINTERP_FOUND AND GHOSTSCRIPT_EXECUTABLE)
    1.17    FILE(MAKE_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/html/)
    1.18    SET(GHOSTSCRIPT_OPTIONS -dNOPAUSE -dBATCH -q -dEPSCrop -dTextAlphaBits=4 -dGraphicsAlphaBits=4 -sDEVICE=pngalpha)