Associate label 'Documentation' with 'doc' and 'doc-dev' targets

Also remove unused cmake code

Documentation/CMakeLists.txt

@@ -27,7 +27,7 @@ IF( DOXYGEN_FOUND )
       )
 
     SET(userdoc_output "${CMAKE_CURRENT_BINARY_DIR}/doc/html/index.html")
-    
+
     # Run doxygen as a custom command driven by a custom target.
     ADD_CUSTOM_COMMAND(
       OUTPUT ${userdoc_output}
@@ -37,11 +37,7 @@ IF( DOXYGEN_FOUND )
       )
 
     ADD_CUSTOM_TARGET(doc ${all_arg} DEPENDS ${userdoc_output})
-            
-#     ADD_CUSTOM_TARGET( doc ${all_arg}
-#       ${DOXYGEN_EXECUTABLE} ${CTK_BINARY_DIR}/Documentation/UserDoxyfile.txt 
-#       DEPENDS ${CTK_BINARY_DIR}/Documentation/UserDoxyfile.txt
-#       ) 
+    SET_TARGET_PROPERTIES(doc PROPERTIES LABELS Documentation)
 
     #
     # Dev documentation
@@ -57,7 +53,8 @@ IF( DOXYGEN_FOUND )
       ${DOXYGEN_EXECUTABLE} ${CMAKE_CURRENT_BINARY_DIR}/DevDoxyfile.txt
       DEPENDS ${CMAKE_CURRENT_BINARY_DIR}/DevDoxyfile.txt
       )
-    
+    SET_TARGET_PROPERTIES(doc-dev PROPERTIES LABELS Documentation)
+
   ELSE( DOXYGEN_DOT_FOUND )
     MESSAGE( WARNING
       "Warning: Dot not found - Documentation will not be created"