From 6b200a377f6a5dcc7b2646dd675c5539db6f32a5 Mon Sep 17 00:00:00 2001
From: mpa <mpa@opencascade.com>
Date: Fri, 25 Oct 2013 11:17:16 +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 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)
-- 
2.39.2