Use doc/CMakeLists in a release

This commit is contained in:
Philipp Möller 2015-12-08 17:32:23 +01:00
parent 3d772e9d9d
commit a66b5d5a09
2 changed files with 6 additions and 5 deletions

View File

@ -18,8 +18,4 @@ option( CGAL_REPORT_DUPLICATE_FILES "Switch on to start (naive) detection of dup
message( "== CMake setup (DONE) ==\n" )
# and finally start actual build
add_subdirectory( Installation )
# for releases, where dont_submit is honored
if(IS_DIRECTORY "${CMAKE_CURRENT_SOURCE_DIR}/Documentation/doc")
add_subdirectory("${CMAKE_CURRENT_SOURCE_DIR}/Documentation/doc")
endif()
add_subdirectory( Documentation/doc)

View File

@ -1029,3 +1029,8 @@ You must disable CGAL_ENABLE_CHECK_HEADERS.")
add_custom_target(check_headers DEPENDS ${check_pkg_target_list})
endif()
endif( CGAL_BRANCH_BUILD )
if(NOT CGAL_BRANCH_BUILD)
# in a non-branch build this is the top-level CMakeLists.txt
add_subdirectory("${CMAKE_CURRENT_SOURCE_DIR}/doc/")
endif()