Salome HOME
CMake: delete documentation directory using command "make clean"