equal
deleted
inserted
replaced
14 CONFIGURE_FILE( |
14 CONFIGURE_FILE( |
15 ${PROJECT_SOURCE_DIR}/doc/mainpage.dox.in |
15 ${PROJECT_SOURCE_DIR}/doc/mainpage.dox.in |
16 ${PROJECT_BINARY_DIR}/doc/mainpage.dox |
16 ${PROJECT_BINARY_DIR}/doc/mainpage.dox |
17 @ONLY |
17 @ONLY |
18 ) |
18 ) |
|
19 |
|
20 # Copy doc from source (if exists) |
|
21 IF(EXISTS ${CMAKE_CURRENT_SOURCE_DIR}/html AND |
|
22 NOT EXISTS ${CMAKE_CURRENT_BINARY_DIR}/html/index.html) |
|
23 MESSAGE(STATUS "Copy doc from source tree") |
|
24 EXECUTE_PROCESS( |
|
25 COMMAND cmake -E copy_directory ${CMAKE_CURRENT_SOURCE_DIR}/html ${CMAKE_CURRENT_BINARY_DIR}/html |
|
26 ) |
|
27 ENDIF() |
19 |
28 |
20 IF(DOXYGEN_EXECUTABLE AND PYTHONINTERP_FOUND AND GHOSTSCRIPT_EXECUTABLE) |
29 IF(DOXYGEN_EXECUTABLE AND PYTHONINTERP_FOUND AND GHOSTSCRIPT_EXECUTABLE) |
21 FILE(MAKE_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/html/) |
30 FILE(MAKE_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/html/) |
22 SET(GHOSTSCRIPT_OPTIONS -dNOPAUSE -dBATCH -q -dEPSCrop -dTextAlphaBits=4 -dGraphicsAlphaBits=4 -sDEVICE=pngalpha) |
31 SET(GHOSTSCRIPT_OPTIONS -dNOPAUSE -dBATCH -q -dEPSCrop -dTextAlphaBits=4 -dGraphicsAlphaBits=4 -sDEVICE=pngalpha) |
23 ADD_CUSTOM_TARGET(html |
32 ADD_CUSTOM_TARGET(html |