From: mpa <mpa@opencascade.com>
Date: Fri, 25 Oct 2013 11:17:16 +0000 (+0000)
Subject: Cmake: add a deletion of documentation directory to command make clean
X-Git-Tag: V7_3_0a1~5
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=6b200a377f6a5dcc7b2646dd675c5539db6f32a5;p=modules%2Fjobmanager.git

Cmake: add a deletion of documentation directory to command make clean
---

diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index b7f8982..b03ed9e 100755
--- a/doc/CMakeLists.txt
+++ b/doc/CMakeLists.txt
@@ -104,3 +104,5 @@ ADD_CUSTOM_TARGET(html_docs ${CALL_STR} ${CMAKE_CURRENT_BINARY_DIR}/env_s.${EXT}
 
 INSTALL(CODE "EXECUTE_PROCESS(COMMAND \"${CMAKE_COMMAND}\" --build ${PROJECT_BINARY_DIR} --target html_docs)")
 INSTALL(DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/html DESTINATION ${SALOME_INSTALL_DOC}/gui/JOBMANAGER)
+
+SET_DIRECTORY_PROPERTIES(PROPERTIES ADDITIONAL_MAKE_CLEAN_FILES html)