From 41cfcc9a54428fb9e63456c240697fd5697e2fb4 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <augustin.degomme@imag.fr>
Date: Fri, 3 Oct 2014 10:29:06 +0200
Subject: [PATCH] don't provide sync-gforge-doc* targets if doc is not enabled
 (cmake warning)

---
 buildtools/Cmake/GenerateDoc.cmake | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/buildtools/Cmake/GenerateDoc.cmake b/buildtools/Cmake/GenerateDoc.cmake
index 408f20839e..3d01654d0f 100644
--- a/buildtools/Cmake/GenerateDoc.cmake
+++ b/buildtools/Cmake/GenerateDoc.cmake
@@ -81,7 +81,7 @@ if(DOXYGEN_FOUND)
   add_dependencies(pdf doc)
 
 
-endif()
+
 
 #############################################
 ### Fill in the "make sync-gforge" target ###
@@ -106,4 +106,6 @@ add_custom_target(sync-gforge-dtd
   COMMAND ${RSYNC_CMD} src/surf/simgrid.dtd scm.gforge.inria.fr:/home/groups/simgrid/htdocs/simgrid.dtd
   WORKING_DIRECTORY "${CMAKE_HOME_DIRECTORY}"
   )
+  
+endif()
 
-- 
2.20.1