From aea00e05198343e401cd1da4959a8d2f1ce253cc Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Wed, 10 Feb 2016 18:54:59 +0100
Subject: [PATCH] ./doc/ is not shipped in public tarballs

---
 Installation/CMakeLists.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Installation/CMakeLists.txt b/Installation/CMakeLists.txt
index 024a2902bca..e99fca75946 100644
--- a/Installation/CMakeLists.txt
+++ b/Installation/CMakeLists.txt
@@ -1030,7 +1030,7 @@ You must disable CGAL_ENABLE_CHECK_HEADERS.")
   endif()
 endif( CGAL_BRANCH_BUILD )
 
-if(NOT CGAL_BRANCH_BUILD)
+if(NOT CGAL_BRANCH_BUILD AND EXISTS "${CMAKE_CURRENT_SOURCE_DIR}/doc")
   # in a non-branch build this is the top-level CMakeLists.txt
-  add_subdirectory("${CMAKE_CURRENT_SOURCE_DIR}/doc/")
+  add_subdirectory("${CMAKE_CURRENT_SOURCE_DIR}/doc")
 endif()