From 45185e9c0771c2b29fa8f9d4e007580526c38b12 Mon Sep 17 00:00:00 2001
From: mpa <mpa@opencascade.com>
Date: Fri, 25 Oct 2013 11:06:24 +0000
Subject: [PATCH] Cmake: add a deletion of documentation directory to command
 make clean

---
 doc/CMakeLists.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index c0fce31..8363491 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/HEXABLOCK)
+
+SET_DIRECTORY_PROPERTIES(PROPERTIES ADDITIONAL_MAKE_CLEAN_FILES html)
-- 
2.39.2